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 r dt ]]]ZF:threads=6elapsed=12.192cpu=45.776gc=2.996factor=3.757zXZִF! i]ŗXf1-) enȈA XR„YQ)-+3N\%5kb-ȡjEh?~kT; 2(U)kTPxW!0'Pry@-K~Sl 7Lv<ڡz$S/3"i)Uk,G薽uÑ>rp}˘M7)pʦ:Ŭ~kjbdUTV} "bοߙȒNHyn͉J/:$glCE: !gַ!f]G k0rpQ`+sU`DPzUpZcYWa[EC"Kmռ-M;7i?|$jqc{vngԱ=d@`Xv}<\Q> zp-{DYc<⾧ FWai@H 9TG@F%g yųfvxa{jDs$a+ʁps҇DƨybÚ>+ /[\~K^-gYZ7zXZִF! 1]ŗXiɟ 1FE`空 cX mE.CY(uS4C\q1n]H %œ|[z;Dy#<*o!"2pf]Y4/ 3iI9H'nw jfS[!<^q+o슏lfѦe yHs2ɰmxl9$ik;\V(q94A_SO\]0A6@kcPgV ӟ[TXlPBM2, _g῎ݽqhP&(yʇsa?37:էbE(UK^. Y˃YfQ;-gYZ7zXZִF! F H]ŗXi%GRhgzDV*.uER3,+dEuoX>B[lsV=Q-$&ljl̗*A4lQ~d_]K? QYywb>;?a5Zk=ǎMRDe]MYѕ,JvP>^`;#F卵hSd/E!ϞI篽J!,mgNI1㹏-!. ϢTbu3чY HٻS.gȇRMk V.1)"L_]`*RVX}KO-ZN3O DAyCEmYԚSd]28T;Sb 3\^O3`byS1oLy\lfD^59(O_*NiG̠}T a:!A˷S+P(w1niXx4gctiSZOPVϹ vZՑȾS5u/dz*e.VZ8Ymz@L-4/ ɥ\ʞ+Avsn|z[\V@-$5f T`yR@lk/N0lt] k~T5 ؾ!׼QԿ[^`PٜܼKK!qa-QB{ 0a./o1Y 'M֛7G&!YJbTʭicSJC]$Ӊk!xá2c.'a BihgqUU)^DۚGZ.265}$1OͶ\l T` D@vqWEW,w!X :4Jl0Ť;+?A} 3B:0 ֎8ds)0P\|Hת$63 `'o`Gj=l WO/lVU1.*9X[S&j"S !xήyDVprP@Niϰ2a/X,^DˍfDQogJ8 j`+g֫bG,Ah`UfIz;Fgя%B%>S1f'k݆FB0.B}) K*z\g0r޹m3^5NNo5"K`@L(|dѵmMxj8Qn&i܇SgHw?3qvs6EaC {m!Q46Ny>"ENg!O.Vܓ  wegYZ56c25fa1012a7f44d287af99a74cc857ac5d5d879601253344229b35f7145f2143ac6522b5caf531bf36a65040a8aafe8c84dac2f1bd0ffc0bbf12cb  ZF