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 {{ $t| ]]]ZF:threads=6elapsed=12.286cpu=45.676gc=2.764factor=3.727zXZִF! ]ŗXf1-) enȈA"tr-j. ZbNVHhHk9d!zna3hI ߙc r'Q2!c#@=)~3ƓZ4d쩘TX4,Lp 4U#D2ٰ|uK:tlg,&jQLH(+lM?38%3V}4YI!6u|*,N:c Ҏ.k& Ҁ q!` QTO}w:J6oWFcTZ叧~C$[el-cʮvꋓ4K ;:]-BDNK 5 nb.b𕧑i#ټI^9+֓*7K91nm5)P:Al!De}oLKoV " $Kgn"FSG ng3;gCZeI׹V"-Ԡ„Ν J%)ov\Ch87!z]gYZ7zXZִF! 1]ŗXiɟ 1FE`空>b7 f5d?1l` h̔Šr謄A[+֧*z.0xj?#1N~'wo>_ 3$Ykn|>ov򄪜9R()4ǥg pl^ Bqچ }k b{A e%(sQe~ô{v{+20{[RS۬uIFB%0>x lFlg|=Wpv% i Z^#oJs+qb\>]\8NJr[_ mTP_pĜϋFM5wX=X3]2J1~Emxߜ -hr/'- mF{XNxu*] "0m Dd)= {O]u P:loI^9'N{Xy9Vo;U-¡}b\sY|g{!8T+r?i7"}w3cgYZ7zXZִF! F7]ŗXi%BDgpz.MVR`H虹 OTlˈ>E+Ÿ~M 5Jn;urc|[69E(՝{#!Xof2\3tt8EJRƿV E+78B3݃R(I@iwx] kzn#)T]ն~g>0&__|OWB*dHѪJ4`K zn7yu6}kƪ o>^2]gGJb \&\',Pss}YCU?:,<B`0LL!E疥lnrS;>|U7a3Wƅ`Nbf(k1n;|ơ`W.#՞钾 G=siR:J-+*_̚ͳВ]dFX(<^b\߿ΰ+T&_CkfR6#"˦ޜ`S8YW0ul)kS6C1x{:K^vb,ݵar aMj\{na3XzG^`^0rlbO$:_̴04(Wp~,ᖳY$+%/+Gîw /;4Ъ8\}ZuH뇘pnq4jB {37Cck 3yppXD0hN_ *~,4ofEW-c%-钣T\%>K ڹ7s& ę_۹ T>5:-:w;xmo5*If9j]΅:V;rx./΁2HR^jd w<>B;/t?wO8 ^f5rϧ܁|tlsh^2j;vF=u ;3owK4$cuPÃ_~w`:U&ǖʔǾ^.2η KN})%n7,$1Sb2jN!ڜeK4a3~xW_'h|[ɽ{*BȧIE5ص>4.y3VBffY4 (f#I'3C9{!D[T39{[Xdo<~Wz+tng($ה3aq꿐İd6o:(-wZJ4;{4Slk$*Bzih#54^>UsUo0ff*d1^T)|^1oK#iN5%F!Ew4o;'#PEM#s 3OY.OW쳘Ίsf/&ksXj|G3(zlSZ}f9.ۼ1Oae%uǚI?OtPZ> l_?!To#Pce[VXȍYE_O}K`'G ׭rtgYZ50d4238270357d0b6f2be04a02652e30300338fbcb3b4b88f86f707d123395dc0f54d7e406fb9231408b166c115fc8a933ea2cc4dcf02022a7d459ac  ZF