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 00M- 4tl ]% Orbit_Stabiliser:threads=4elapsed=10.195cpu=18.964gc=0.480factor=1.867zXZִF! ]ŗXf[&uݗ>snCNYk#$* J1OI XՅY5W9.[ݪZ{h*WzZ3)(mfqco3$iYg|rꪪFtVuh0K^9*V|Pe%Kz0Hf+K3&֌ wf溣 1wyFZ]_sƳkޱe*T[~ 7()llDsku)XS4kSm¾[9 gYZ7zXZִF! t]ŗXiɟC,|XJQWpnz|9"癫?Cs~58h05Qm9m\[ v%؛_Oٿcw)uϦ!D9Wljd (f$+V}KUgCibY16`r_Zϡ>m0sg.Ox!XER@2b9`MakÚ@b|awT~6BY vj_sa]|\Q+EM:oU߳)yK6`Z"Q GBs{Dhs_R#Lz57մ `"3yٷHE١ۃ2 [nUq*Z D @s3RGhS&7x;r}cQN}9پX'2) ;yEɲ FA3H A/Y(eLp1=:+VOTYtf)[A=؄\ B f-eW†tX@aiܟ:U(} Й$)xbW$[U1]q鬸xVՐ\_)F u9Um-/0\j7`UgvKp`Q`~;!gc>l,WIV֚a=c ǫXU=J] Inn8AfL#KTaeg7PQ[O:{{W9gK04mF`Q-ƭy(Sfxl(~%%yXrÕ9d'iM"(QY}T;p_2PΎ-9f/ٽ5pѵ>VMm6l@<GO wh0 9Ƌg87q)9sE\i˂@TJ@r(D hŲɪӍ.!s,^Ej…[2FЙTjZ:q|tpsS|?b.6-dYoX)ʐ«.)ZdKQߟԏPUu"EOp׆F;| XA9.Z]ne Iz. &spNy w.-(h%%D2/JFYGVUfK\*]%f؇+X^ ''Gsʷ⏌'|mI?ғõ}1<Ӆ`#׽TpRA"X7@M; {gYZe5185c146252a55dadbde30cb20dd6a125becf65c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c 005cb0de6b39b5f1f9153f1dd6a340ee1f098f94 f152cd8f3dff3df54a1211d24cc89c0cea6580ad - Orbit_Stabiliser