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=15.118cpu=28.420gc=1.100factor=1.887zXZִF! S]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L/Gjc]S\%qD26]bI!P È^'TO^sO%@Q5)]Rvm:!w7ތ:P[~FS;ǺM6!XeSpȩsUg . MgЬ%7O0_+I\$NW:fwBp'>̪$.F G2^`Rr]`3tgR،]8G̥ay}@Bb~+'b˕SJ-i׬ٰ!w֞2O8#ݕZIQF:lh1~Bc0CCS2nDWE yNv4{ jT(%g‚ƭOO*n J.Ñ*fx6m+@֝xkT"tMط/ĪJb5>Ԋ؞56M{?)BQ 'u7| |0 ~/L)!j@/Zp&҄ZBWL~VK٪feۓ {I룫8%@ G`kTpT4(ΑM-NVApNJtM^H<^V x{rX@b#Q@pT VP'kzsl JLNb>}#ks^ 9/6(->Ϻxy;SHȃ9}VU6a8CAas+MƻVd M5UCl>=LKO # Integration8HU)TlubYg] ۸~ MXLhDП 2LgS]v ,,$ɘ/'|&$ۮ[ޒ i O DŽeG*_|JJ9W(Ae w-8((Z Σ_D(ZR>ԩz߻=8Cqfr L Ɛ}0ʪ1# 䩊lcH#HJ/6&XQ&u7ᯠuQFg R&gvsBVC+0ދS":j trE0dPY\N#Қ=Eo;K#Y|ξ YH6fiWkWj0bE4߻ƶ&Kʣ@65"lJToE!h e xw$.G̪^ΆϸqthG^V&@f]tch~ yGoUlM(#N<*sFILr~؇WǁbrUO5d'а+w*ʐݺ*\f}KtD_ vK@Ob(蛳)Dk_]ֽWH IP`!Mf O|ׯH(|f%@Ky-dgYZ7zXZִF! T]ŗXi%Hm:oHyѪ]r1j2ez\: `4khuNKq*Q@Xw$rp3Zx/QJ lD LMd/`V}a 7[S0C1̌Šwm0X؏&P}_iy8Bv-?9կ.<+ۑ/% lW,X8#u85 Z? 2l E{]jS ̖tBFSݟ~6LI3.V:5kQZnrh{$]l?0R".n<}uS6=jأ$9~iM.IRtfOUmڱVUÑVARO*g (5}S^_]0k}Bt wbUR+ѬbƗVot(YO˒wׯ ~BWE)S/us%==s<;cenJ#B,15^gUN$bU }w:g @W4eE@pƔ!q@ h@2@Yp:uFAFgQi%)'<ީ6x1p ?Yيp2e9J"sU< +rtGa:xD,<7`p f~p`|78]㱍 jK:"0k4Lp38`G /s\mczÙU C=ˉWYsv&!j%i' 6/7UYTpCDC%űbbOS&;7apՌ^uSY~#Sb;k6|&VEDe ľ)R:;t#49nݳv\%#'f}j/}Hز.-",FZQ0 ,]\N蔵 SGgYZ0c11c72db7a430fbaea23038d4cd5670c932e96d 0c9469e4651698f44e3e228873be074985fc67b7 5117119a178eac69d137fb85243808da2d667eaf 5b30d9221941ca16727dd6daff33722d09318f8e 6f7528c9ecb8fa81d28fdb1f0120630b11b17b5a 901a86e132ca063ee9028ac5284316a4af9c954f 91aa64768d657a788562554649756ff077ebf89f 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9dcec35f477f1a52dc135cdfbd06d6b04bf29d21 9e97dc1e385f8bfc8855ec2c2ecd31883f725fbd bd1b3dab8d05792afa4b1140e0f22b3ed55abd28 bde165b3550b6ec2694de48bec7a47b0c7d4f6bf c6434b8f92878f1aaa81886db617f4dd64b8598c c9a7834754ca020e75afb9d98e309c88e75bfb0a e98d989b0d56b347c6ee1a9d61645ae944ef72e3 eac6ad13c503bce6181b05cbde0a5640f2e71008 f9ad8b0e4dc237bddb1a7187abcb79226fec1f908c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07