SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  $D ]/ Eisbach:threads=4elapsed=2.306cpu=2.676gc=0.000factor=1.167zXZִF! |]ŗXf1-q4(~$Q?bִp;w~ ѾA`FJG`F |*e`/8>vY\9f&=Ygȿ's8MpygOGiFK0唜Ju/I$M]㰆ZCR}xK9Gy~dgYZ7zXZִF! ]]ŗXiɟsмHI:j|W?iUF|2,#9E'T|3XCnڵL}~^R".;Ѳ0Ϝ]nu!~w3leA[ (*Ef8:\{`vLWogYZ7zXZִF! ]ŗXi%I o9 n1q gvѩv{rL>orF}|[ʽMJFn1Pż $F׶\?[:黈o{%~|  ݈Z,TFC h?(ljԺ/h6l zpx1]m e2H/n.j>a\ 0Su+uɡn]pYJ&s N?IG&uh|"Y]pdR!F!Y2O7kdosvkIdSXuₖV>y^²LZK$W\I7==}v9_@:uAx8B< `ƺ0?c$>X]Au4;]x%%}u˦.Q©Tj}ʥyhg.(,04Z?fQDoZNrΦB4nj(ۺpÄ47[HdbXǗQ_a+>nfb8+:Oc}G/c3☛qпgYZaaadfcaf59391b19bd8dc668f5e49b2b12ed33675a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22   Eisbach