SQLite format 3@ . BBh77otableisabelle_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 II,DLt ] HOL-Bali:threads=6elapsed=58.668cpu=196.664gc=9.604factor=3.357zXZִF! A ]ŗXf1-q恈73w@9!Ӳ) F|b4@'n拏‘PCs":bXk`'&;# Y<;#;dl.d* l@WiȫQHT3)QA7"6\X/ 0ԗ+zJI膏?\: H6O[jY' _KYK-L"xZ}Oi-{8:zU&*gS}lbfUaS8Fxnw!漫Q.a>Kܜo(ؕQ1u v&GJ^%;N+yXg?"—|%PAb.RO$:1 \SA7:Xe ?۽|>(qtoTOJU+kC:SdATT0B7MY_MaN;!pt4W&\RXhA$:Pxo%h;ۊeVRaNҚ{*vEh/H!>m(þݏWH ^uڭ0?RuDA~{]S\zһ 6浟u^V@G!?<5KO 8~ EIw :="9/EC!mo.drJgQĀV972R NHvW"h0&I(2{ifekvȅ2{PmG՚t嫏3| (!PMTBIEl:b`vJfA~")r} dMi_+gYZ7zXZִF! ]ŗXiɟ1Dw7v%[y~&&_nE3* %͚*!2oBumS ڷu֦++W _s"LBz՘ܽ3K9[e&1q!+RZPÖ" }Cvimꀨ$3)󣔋? y}xByĖXL 6! 7:9 @j)3[YKsӆQdQ CI8H/;\q1eܝZ+i7|Lv)r@T/ [UDMmޑlJWp zw+ z 4|ʝiG5NJ`Jo!l=#pAmbGΏk.5֗,߿mҏBHKURa2pʸЉJܵ5ܢ/bL]G|2E늄1wm͑' ۂqgYZ7zXZִF! ]ŗXi%92vKdPDu ĴЛ:)^Ӷⷑ20?,Ԣ!jf54GjHtȚ M_`+`] AG7қ~OiK_l%'@2k;cc$۝ 05n6%HN/#ZB^nq`'z[Zİ@۱*흧"-/nCeXӓmmUy;߭$ >lf.6ǬRtFr+LiÞHy4$XB}}I" r}$yi7oIvEdi$+Aq-BٷitNOI3hxOJ*H~ VSҝ8_/A1M+e|#\ڝQ?Ni|Re!]샠'J7LDe\N\!~ML>< -%EX3WtbpH`Z_%C$8/L` 5m-8:tHy==wRnY3 'w =|YSPPAc'us7ko&+Jn3"&t[.|pA= Y ev}ll~!PD꒰?B1]Ԙ⻾Y 0Vxw -tT7׎h'V=u+e;K]`(zDF.sMxi]B /%DT*>~r[@p=nWȊ#jFef"q; ,d-_ ⢓Cf<y[YeŴRm[=]vSzG&dS(VXxNT bx /`9XSt-JWf0r$R pk1)03n5N-%,Ѣa#/9k>UU&ZD P_`.rTB9 n8"vv?H ƒOW㽦4׭6^zC .}!c{_QU[!8 'V@bcӐ6$q]#Q ' B6k?/7rwYXXBn)dInϦcf(%~0ߍU(c(G_~!b;]rWXRȹ݀dM۲ Ͳl_2X+gqt8CD\fy!1 <@[#c#8RW0x ߾ QV3QU(-ϮkH(ދ9ǁ)oz +jPV 4nzɰRD5; Dq3|ueEFw9'Q_,4mt'uiN>BE~C o|$͠q'p~]gy"#Žr%pcf*kAS1/sIdz ݁p.?stvy"I>auJw~_41%`F Zy}ͮapU Ҵ8ƅ\22M@WhV_Wcalfo;!S.5v@Gvn `=aw~_7w#|2uN@;+Nyx-,eAȨۣMލQO<;Cd_@xߟFn3U =;V2+hGpakdG=b{+CxUuJsu7F+_ r޺UԈ[8P!j5I8 T,B %Z82OoG`%b+/aE8wPG> E ט欉.]ΐJy@8VOMR*s m@}b":z%jR^͵C$Z)mpQD&. a!s:fø~ӉE.#zGÚslg4W*\v>KxwFw2*Ŕ V$# /W$zT2Ef {>>sՙzxj1yneu,qufHz$̯D8k%ӇcW齒nhIau|/atqw|JAo al Dn@NVr_s/MO\H^$HUrq3m=[IOo7M,9tNÖz1v!O"yPCNzy>3q*e'|ki. t'2f7H$d7tJ"Iy5hʔaBwps`קFYP= hU/{@AJ"%a +d?R@.V7qo婴ň{p4l`1"ёvM*s:mз5mBRH@U)s9l\-/q4u~5˴RٱT\^I^Z{¶2ZQtM="'`HO·ˤ$,]Ir;9Z97I%S8@#<58WP"Gel6J"Cv3=}OMs\mrѲ-kPG^aJVI`^`֙T'8Oڙb\RsP\O XF8'( |婺s;l|}EbTS4m~Y TfhsUF?6PLpҀ Eh٨VzCMFǪz5DX."#tgYZf5d815789e87f3b641e07fb916119e699b218a6eb690dd9b4995811857c4fb640c8853723b58ff28 2f035b4a19bddcb32b1e2a5fd47e81076fa7fb4f ef28aa63992d38cae790ea067cfbf614ad2b6a81