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  x,$ ]S PCF:threads=4elapsed=38.357cpu=101.264gc=2.008factor=2.647zXZִF! #OM]ŗXf1-q恈͐7ӺV ),Jxx2br|£Mm"ϑ-'_QƖɓ.9@>$ؙp8nIE%adamW$ `Nf݂hE1E@pkfzHLVOAx_u;Wi7*6 ⫪O0W65@9 D[_hC>%X= &GOAь'Gt- 6ʺ;4Xxg!![9LeoK˂={pGSFY&=N^ݠ +)Dli6?XU]ǣjh.mYLGP'b[{M9WΑR8%iAWf:筵N}'#%z,;-#0sK ӡN9s&6 =xVf(V &icJ.쇂%hC'`9qK(2?a{^tf<dbJչn'H&sij Q#cOjaV6O2gݙ X^t&\`9?-TT?zP`{ SJ WzRWMzJPX>p#4 2,[>@<06GͰ8_[BQSQ;5,Aw@y4% 2 gF-gYZ7zXZִF! |]ŗXiɟ1˦r*E$O @zֲ_}@aKAıI#=EF >c?Ԯ#'vP8JX6Ale 3az) DVC[ u8a|Aw[F5΃G9}Oҷǫ^Ĺp[yπqdEd7C(ԓLA4n+5usT\Ip^*K8XyRAܒJЌڿΫ AמFФ_/Isk6zC_nU2>~䂈=J]jkj!@oզf jOd] >S2k+ UG9$qJjVM?U/ Ę{tT3nvO@F◈l5xLEYD,ܛmo~Zr3ooolн$+$Մ ds.Dw7*~U ٹ#+b?cePM缯67}^~JApSJ;z<{O%\еEI]_Ao=<haOh̴E8~"BPp$*/<#NMc>ų CmmIpX;aZ0ՄϽ?]pζc\Y2u_Jc%M.#8آ`1gL.D˜ T./CXDx{`Xéb&GF\7ZI/p?e7}JF+Z' 灍_nPm"I* 5lj` @Ud4}/ !!ڶj†yqS:ovxvm5x%x ompEfܼ蜛1Xj}K%w1wtCdL'vQ&5a|,2JCC3Fo A{c^s_eNzp ~hCy'焘5~JCw} I lXe{Qi\jG9ҒP"݃(|Zg -<Xӻ妷eu/#vr&71'UGP{6/BAiOazQqC>^s*mլYU=-RaB-X*bu>Pl9~ϭWhhwºdhF(cGҤaU&H!9On$?tB=.߸>zqw]+MCi.]#PISܯ ßYbԵxNH/|Z]KZB%?N)Y-]ZЦ3`Wb<qKι^fF%2(G5\'fK tMw~*P}9n '?*ܙbG0QDy]R8PLjl~@De9ɚ(L*F M,׭ް̙&PoI+I@ILu[$(R"F:HfwG6؎!F}܋k=k}Aem<Hx?y'a7I ‘؃ Δ!ns_e JoNb u`/a2R9csWSQ,Yw ǎzscʝ^Y+\2Dy+L#d%}D 4wD`ҡ*yfQ}uЗMuo,3f1o-/DȒ?NT7SwdyA`^DfƖvWW;8ji:5.p ]k:f:Ȱ3^Wǻ@4Ofr6Of#Px <b.1 szHx`W4B.F{=H29RiO7.mY"za$A|T9i<(8sN :fq9Ơ6,gKvgð%B\j(IK*d<[1&0S9ەmNвkiT *@n