SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 # l$ O/ Integration:threads=2elapsed=13.519cpu=26.476gc=0.952factor=1.967zXZִF! L<o]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L/nd1RA,JpkfUoa4vNv[S/P0f{_$Gʽ<+PPk( <&/ߎ"TA$٬0H~Fܴ~s0^樨iP_bgҕzlJ?q%}x&fambh :@%/IkZѝZcN:GB1O2] E籄V'[jecqxE,S?R0ι8-y Gdf=CT7ݕ\%zGOVךPxM Wt;[qb-&7pzow4Oվ%ԗVYm_:<^}1$KvxI47?,B`Tl#@BN cK#8_kU|&hGpa@TxoVlufy Vq%A\Xogi"qc3y iS);Zy=oF#ꐫ^^]&C4oKX(^>DQ`|=}Ӿ6C{ "hb;] # IntegrationR+,& ceGLƨHT!-WöKEB+* x9)~X#g5B X.Dr1CeSٵ1974xppQ? (QDT;j?IQIR2ciVG-{$%_&,<\ .pf1tݰ3|xuc0̙ꣅ{OwsIAQ#ѱӁghs@:߆ZI͈(c_6P%g=GcîI4tR3_,;*uh,u^d Mr23qH}0VL3EK %|Nݤ=Mo"&eIdk2+57> i]t_HEI(wEgVSJMa/S rS e|N8CC Y^VE)_9&\XfP[Jc 3;%&WPLx!i%C{lb=*+@†v=kdǷ:dL efY)u0Q7@wf:C[^, O|{H"G"0_qi^tjJU 9JgYZ7zXZִF! K.]ŗXi%=Ŀ^\;C,G3tAquhgpڕ,M (^ qv+{^T53@5SV*& 9F v2pxJo%t -J)wk>$}{G".{@ $RTˁI,zV'D]&cP`N}-7p!uhVJD@G^$ p4x'K íc̋${w ս|"0{~!}\>U2s4LWZE  z'PcTU0z0P,~}L3iC`&lZK$ܛ偊#u#Χ{.99+4$/R 4yD | iUvC/Sk[&1=0_Bp_.ƪBW6iGs^-@'|8`H7hR521a4s;WqIPe}p;宗6BêV0>(;/(f`(oì3-qֵ9W]]"f Kq6өъՇOZ8uzPNf;e{RmAђ gX5Ŧ)96i 5B7ʓKs-_h)a-#"ӹ?b=mdᤙoC~f9NVk_5jF.L)? p)@ ;@aAnIe$ F2n,m%)ZڀR:U`PL#-cBrkFӚU&lܩ/'oSXrw Kq` G ^y!Iе>>#fJs9P{b c4BsM7y35n^Wv3kt{_eS<'͎˻ɐ.Rޣ*OakK?~u OAB"7K[TC)MgP7\L]᭷UI֢,"ȁ M k?gYZ0c11c72db7a430fbaea23038d4cd5670c932e96d 0c321bb4e21c69a34e6426214489d80c3fe66e2e 5117119a178eac69d137fb85243808da2d667eaf 5b30d9221941ca16727dd6daff33722d09318f8e 5bdb540d5d2df48575e3f652e12ed3f3c44ff99a 6f7528c9ecb8fa81d28fdb1f0120630b11b17b5a 8983b274ca224430b729c36804a982dba8c23ce7 901a86e132ca063ee9028ac5284316a4af9c954f 91aa64768d657a788562554649756ff077ebf89f 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9dcec35f477f1a52dc135cdfbd06d6b04bf29d21 9e97dc1e385f8bfc8855ec2c2ecd31883f725fbd bd1b3dab8d05792afa4b1140e0f22b3ed55abd28 c6434b8f92878f1aaa81886db617f4dd64b8598c e98d989b0d56b347c6ee1a9d61645ae944ef72e3 eac6ad13c503bce6181b05cbde0a5640f2e71008 f9ad8b0e4dc237bddb1a7187abcb79226fec1f90878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457