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  t4,l ]S IOA-ex:threads=4elapsed=0.709cpu=1.668gc=0.000factor=2.357zXZִF! ]ŗXiɟH)0%o>{Re/=ظ2R+NægAG5q=^B._En Sݯ-vT̺Zb2ۈJv 04[#&(0dTZØkK&`yrA*'-H1@2F߸ƹ:*t]Tq,Ulg9?+fc!neW>ᐰxu;@C̊ODQ=J.^0 lUT0ؔGJG ԊF`qX~3rZrj4JDu6unǦ@dg8EKWeWF.`~J[؁FzB`A"!Lk-AtjzqO0b˂չͧMn2l]ne{=ycK)1&{_jkaѿ: $WgYZ7zXZִF! P]ŗXiɟdNG#8 Wƕ)v3)/hࡍ>LTif;K(9bQ2Jy VF,l{C}gYZ7zXZִF! ]ŗXi%L!l2; t1O3LFOrr&F8Cy< zf+#.8nbҖO<*QHwB"‹_$ oCC˥t hi Lc|D0G/q4PlTj,wS%h^UF՝q;3ے"T l*tghVlN/K4ŗ<~>ުPoB?eO#hz>"l2WAl{"(?;XQ ןZ1^ (ry7i "vD(I9o3ml}GH%Rr ||Nqײ| \'`/=#"#Ft.zdD\(HPg(#Os'2r]{gYZ6a95da61e3edb5c39eef9ddccacf0e2eb5d3fde98215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 9917c2bc07c4d4ecbb979dab9a399298f5853246 3f6b92c3f5f3dae94c0f1ba92fe5a09b68c3b086   IOA-ex