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   Y+ ,|| ]/ Decl_Sem_Fun_PL:threads=4elapsed=26.956cpu=95.316gc=9.748factor=3.547zXZִF! ,M]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{tY'Ncu1p) !e%Yd~#.%#[(یz) | W40;3B6\X海"Z\iI\ox%5l>Mkﶬ~FrB5Ϗ"YcP-bBZ7_?a*u[̅iT?n?]WJ|F_er?H_El`ZQ۠B+:OJ|ib=u XwgYZ7zXZִF! 8]ŗXiɟ1˦r~KunύNN{¦7&j^#jrz]2_t@oc*J 2rZR䈑puMÉϋt-K!XD !;Y$/u3AYv 'Il I2[m;j{j3Xrr=o&NUB RqHǖT+ֈ$ZwBS;)2.VSYZbOgK8I uBw6Uswe"KH 3޼.!u=;F<zw?׹Ќ א ;wNin>oULyg/>o[.2@l7Z%>mt2,{v(7>gYZ7zXZִF! P ]ŗXi%L Rk0!06@>P̌ {V]XT짰 Zݰw"+N %qhė& _1^HD6i#~E;HѦtfӅ,#AJmU@^,L:;?3*1EK7Bc(X!\ݳvgDvd qse;w: * =gg](5&-#ӖSK$Ti k 2P6񆹭8 1,f!> ,t!LlRF:W޹fڈ i VQkRU0@(x,Q6+J3~*U2PD0bqIa~x4d*/mZ5tV'*1g3)Ƌ_~4˧S@&Ovijpmn~A 4WxKvAHnv9Kl>\bw ť7{Ķ5N_\]DSU Ăr<\zCj?tꩯh5ii+gFs#r`?Ry~M.w0b nkedw~e|T7L U sLaH?W( M fHH/"SYҬ)hb19 RQJ'M*zMBLvE,hdh\Aa%}D roX00͆n5 :?(s<# %.YvGՑ{7!LcDUK !VF֥ue9znд`9RVy xZ[JnAj1!;-D[gTNHǮق'dZ$`RK!F \ݶ`✔ZV{ssB`|S{QI`u&Wg" .-wc"h@,4y 9$l={EEKKDbV v A]w 3(NcLb^iTQ]j:'~ '&du.a}!H]7nxݸU@zd EW e/0p=7V4wum;@j9ŤWwh#j Mȍݖݧ\ޕD ӧISH{+~ ZXBrFƫ'Ӡp4#RMM: Q!'w,k [!l??BT6bǬHi(L8QW1LF}"\sԳ QHrBָX}:N` h67p&I 뜍**Nh\= (]SGf%B! \oKFK_/Ecvqikb-u}ؚpĎ<*{]/)olP 7!{6槰k&K!&N.`bm}ۜꑢSKLAT6İGcYD1(c05`K?Lוd'%\j>˨)44S¸;TkseՖg_}1kN%MΖЮ Rիdu7CEOp@LXIB d 0l-r=6@0`LSd'| ]Q'50YOM8oOTk",[D9O -lWgp"c}].l͖N'DG=addЏis!E[okz8UՔ3.'ס-PW\k?w_g0 |ܓ8q@2n46[\!"H$IA%̦#JQWWXv muNW`R on%OLDRblUyo@B/Č/ma.z.:̧yK:~* / keo5]Y2BSxwЩ*IlclgmYx5ÂYvklsϮSx/6lr\R'{"T$$@1YkÕdu/vr*1҂V͛e=jXQ)ϔÍW\sC8^a!}(+QU|Xjez7b6f&h0"^\e C..Wߠ^]v͕[r:A*Tw8^.YdL*'4짱gYZf6654216355fe02e210e04e32856930d2d503993d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20