SQLite format 3@ .0:  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  4 4Il\| ] HOL-Unix:threads=4elapsed=5.263cpu=9.660gc=0.344factor=1.847zXZִF! ]ŗXf1-q恈>HAHIq"”a;E HvGl Jo ګk92Z^hWlxdQ u-fP|Xu8d&bbb@"NMɩJaڐ!T; }r@liذ~xp\"Ϲ]~nnY!Mj ⾅צ; }?+k0%124gYZ7zXZִF! f]ŗXiɟ1Ivx*`(rHQ ɅeXa?I\Q#H12cYر{AѿǢ(S4Peox B ƻgYZ7zXZִF! 1]ŗXi%GЛdʈڂ Ugq"J+b̅VՓ!KzP+:r˵~g;d;+K\5Oߧ"66%<;`.GnWЛ`zé3̑\|Ýwh7wDbצ谬,5`b͹ ϸWbsx[B>:_U#Gj?$ X`! ӪɎTWՄ1MDkKNaJ[2V%7+ vƀ 5K@j sG y#$cb`[ra&||R [r:ډVΑA\;Q_X'I?*,圬tKt~˞bO)Nf)Tb)$V ,Bzi@mlKVWɪԕn]49p6_~jjbiu &G4DZ ڶ+% DŽMhu .D(zvm!MUSb _z `ס,/c yB(Ѱ.ZBVD~ T7Ɋl9Aĵ|熃x{w#,H#/nyX߰Wb޶uN[/"4= q"&1@3gH2y.@ }fۃt8 >:0'"q6fSt0fdqiKyb(w> c(1-Da"4HΛ_~&ty~A1 >~{@:&~ Vrp;U="<:&ΖenT Q;Yz7mTOS-&@lg$&m_b,3Y$6 de(<cvKgYZ2492ffde026e71123085a3ddf0c71f25fc039c1aa1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540 913957767197f7ae8858d375e22f8b0e424144a3 a9fdffd633f8437f7cc705ac0a290ba020d4f213   HOL-Unix