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 W | ]/ DiskPaxos:threads=4elapsed=25.606cpu=91.416gc=0.964factor=3.577zXZִF! *]ŗXf[&^q)鰧vygD^g-VL,>y+@anI$/,t5K9_vҫ+u1RG?p4Dzk- 91VLl?BH2J‹I.qVo9Rk]wŪȮJ7QD.c"4mWIzv؄[q1N٪o;A.I[$bWHiO~ңu]I@r;oZJ$t2k'u@]}u@nxZWAkM}nֿ.2Vfs1#WgNbͨ@̫Yi\aŧv1B] Ư|Z,_똊a_Kl˥YG ͻeRi&8ӌi,vx=_F *UE$ڡ(Aޕ6mYh{%Ƕ}>>,IUNr`Υ$ч%(" _F蜳ǭĮwUJ) [#tysZ 癔at3it'wj˃lxk/uJL(˗~4F4@ueFlqC4Ab {ǤxFl[}31i' vlԁumsaQ:4.\n'h$svꦙcR5VvSu-U!gYZ7zXZִF! ]ŗXiɟֺ@OAPηRY͝k{P}Sp]r#`8|}QD WW<ƝJxPd̛@XXUGzѵO@˄Q8Q{;Q)Pu O\ 4 !-$/[8gYZ7zXZִF! ୭ ]ŗXi%GgR%#N ýJIu):^'wVtscpEeRL퇷yXq1rWizՇPfFYlC[CSDh9=ru';"F\͈ Ȟ۴/o-B xM&p۫x7pw2ְnUAWƟe}'ٰ}KtWbf,鸛FTAXwOݭaaB&{^G 5$]9P[,<-nF&~TGj+ x WgsCnpy"TrG[f<`t{0U!かQ2M0 L'Nei}MCig$gBUd1l-;H+ G¬rt/SrEǥ6WFp7gD߽-A 5 [H!hg0oZnD0C.Htz!nJINenG\xJJe=[aO*K4TaY;ebe[#T`w6g >ӅU1AU`aiJdM5y;om. l(@}j+mQφM B)S["ݗ@ 2 +&L,X8SJ`78p2ԱmP^!jN\D]cDAӥUF(Agם9#1@^n\ mCDF`l;;wLY#X)o~MҐro,g#+%#MG.VgjʠfӟQ痢B0dGD6I%Hh,_^|/-y (N*8Yltb߲{  WTxWX) _]mRk~?/ĹY;Z4s0V'F^0Tګma' u R4O5Xı=5eU JEљ߁e j: zc*HDxd:q`:{7R a66C YƁ+X]uhOUԌ356+Xƅ@00f뒀=oĈx5:F1"l`CX1A H TgWQ! ho9&:6_ﴵiZ?jPyp@(~ts7Fbpv P_~9Ib]34 t#eQ jgk]AO+y7Y:eWZhg̑#vH.6.Ee4J8xkNNPp.Jq+hf飣=ns~RB-̛MA&qO/M9CCI{Sm^ݵd<͔n8kv$¬Z4w92I_‡=)1vq3QF{◽v셓{ePhБy^tB[s'8en_/!-߹_!BUY:<YA]$au"җT _b$܇YY)5[Lк:,ֿ"P5j#x86^;> |GX?ˀّ2]03U}8_B+SVzn+*$Q? T)RI GmNhЧ]NI7,E^СhK޵[FH$$==쪲ågdMS8CS`G̘d01駰ۼ׾jSPpH|5cQckB=^Q m 61*MzJD7sSP[`ZHD\a'CxbEES