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 0-\$| ] HOL-SET_Protocol:threads=6elapsed=24.443cpu=110.576gc=2.368factor=4.527zXZִF! .&]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM;JYKX^NL}╓ꇙҪAiokWX?D!g1mxiudA\YK dz}Ɯr ϗ".ȈD& 's fA7Gɵ8d :B%kϢc+<0FHO AdD2?G3hCJp,,2LJ;_x7{;o zb=@^_ - HOL-SET_Protocol  iaљlNE1'F\kGxu<cϿ_av .9b7`? ~T@S%EM֯x|i,Cklzc8LZfc+txtw)c͖Q߲o>w)Y^n{JDK'jEE%v4R~̶ SI"S K&5;,Cƺz4Soӯ7DwF G2@a'DY>f8[;r& Rzoޓ E|ֶ<(W&!}S!Lr},ĝ$lczD.H+_u<3U[^67\/gYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTc"Q uZ,slN]0 5ZJdIKِd]'Gk=/S6'fo!! |߮P(ՇMТN QW>Z` 3;a2=$Ifk}ﱨjM6ٶNMmngYZ7zXZִF! p ]ŗXi%J<p~-jUH(ȊX!|?ހpB}J 艙 gI ZV f]??4]=N-8 ZlqE@IF̹|ӕ,^} 0e.XiNȰ;X2rQSz*xadHXCW4vIwɥJd<B 5$&a3kBk 'BDc4hE4E݀I ߥ z @28r:K/?7(О6B \5tQJա~bܾb@ĥFr͉d$Hm[?p`G*nK)T̈%Gh=$ UE@%[@jizi8F`4f'*cBZ5emZř8jy.BH*g =Iu'Ÿ>^SnmAI=_5tLľ11ikskTbWn&\؞~_mѹ_F=5axj9R+Ɣ{7Y6[Y>~0[(flS_D,:6m-֠ Bg"5^`̩DnaLMŽ=>&$ G!8cD>?7"Sh7Ӯ`Zw.yIP@ dy)av!QcmU)-CUO._3"·}_Y7Ʝ?qws߫A#1W=Y4ANV./_!;c˷ē(@P dw0 OQ,v/BZh l;wX{EU耖\ȗBVS+?e-勹`bM=7znKƴO>dt@݅xݞGoZ3yE{@ht:2; 6b^vFт8rˎ5;$ׇun;ujqLjQa%98QgahnM.^kU\Aщo0 a{Kҭ>Kp)O?oMڕB"Z .ы#%*B&_g~瞲۳ DugQH E@qql<|8(_|Fͻxb/h0a_Gú:#/=-nLDY8X*T9GdP\q3Q?'S~dҨ.B)hM:Q;|xuAq7VBorۑQu>$jm;$#o];pk<Fٸl?7&"ZX:G=ߟg{:5:|Pz*\NH q8쫖A ":xEZqGOAzeB$:*ki}ӕ&pqE]=iȖEQD7W-{yҾ¬|5JT=(l}i77>Z%Rg0vw:}сRx(,qq5 uqz R/dil2cSD i7Yrj25OS9u"f_TV#exX"r_"amM,wδ1K (\*: ,,h[ GSDy&(Z zlvC0r\3rjmjM\t TЮ*Pz0"ĥz "|[B V3s%~MwE6/Y=JZ  ek\ĩ\Ӛd^ru1U6Vc%(˕ woNnD~(8H}l# HO`# Ù,.|>SQFM'$*:[%sų?CLˬ&QϖlҖס~{GVF8 +՛w&jQp -DIk|U"'B)ڿK[/鴵*uX]R]u5h\MVazYаՈ ɄJUb]JE4e)5( SH8$PwI!*bzpmew/or@+| X|a?gYZaaf29ffef5702c773498182fe5f6913450049e223d51ec384f4fe0110890543589008d84c8e75ee4 0172210ae3ac6aaa94a4d31e666fffe9e67224e0 39f11093ebddec9c3adef02c7483d3530704eaa0