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 ""G tD 5/ TLA:threads=2elapsed=18.462cpu=35.472gc=1.024factor=1.927zXZִF! e]ŗXf1-/6vR[j 84[ϲ E <,S>4 %v_cVpyKѬ _;I}J-əv;;T5wNgXExZ[pGCRm"*\Ocρ%v")оtg%J:/8L_889,{b7Ik@JiVJUZ&r<_eQY.4F 9ïq'|VJ/ۮ2C6iq aսBe:&q_Τp$zUa=n㝾AY*6[SLVj/%J7m+5!HGG 7"sn~ I|kN/S;~MK"Qzi~ۮdHƀfQ>R-p u |1:w)F5c"o_Cr8]6RașWvqQpyPt5ؿ-5RiJ@Áϛb# Eɦ~$ԣwxZ!=2snažׂ*9&Kmrp|C S)ͱ~g^}!7G+q`1`YakmqCo ع~4" -u֍.k\N4WĤ[oPfhɔjn L#| Vx< eq߰5@b[DWgPzvRMO@2&N9Q]'h ,ǝy/< ߚ0uf󼈫}\gM0ܪ{&3`daO]cNhG M!KC}Ɇ_|/bjU?6`p} {W=ܝYT As5ɠ8VO٨}!-r'61AuGU !gD^TMDsſZC$HX0Z6[8 b=jHr$#,}鎦rՁl6S6誀O& r2F{cٳx@ fU(T\WqwH }l-tʡ$mE@([:ލֹ / *#xee?ώԵs[l)cz n؉1 !Ub͠B[5?g TΜȶYW2'XΒ?LR;Z-=8y(2 ÇG2]";gYZ7zXZִF! g]ŗXi%R5{V T:e|aegTAjJ?xpU舿-7QtTp .0%e|R k$)hʜIIpCAQ dBN-t{EO;B Zz⠩|QG/šS#NeCX?QEk8[M'r %SG]$rXQWc K⿱ʼ"Wx0k(I5A"͈t}Y 9F%DBfS!"@N Oz7c$/]~¤|MQ>wf1a'ah+g#YkD|{wfEr;642x䘻֗uK}~A@ g"E O $s /0xYo__.Um{%P@n}K7ʾOPn9YńW @,W=5^(BNah W&(t:DD:"*Jl[S_[g ~iZLGFRK\3H0Dy)y&'B8 r;\P9xsxӵE 3CGFm)o (Sk 1A߲YO*Xc-[bfbYM~ɟF b>-h6:rCSUJd :lɮ_;ao{AŽ*mCT &I#°X)$u()FO,7-$NYeS^J$NP_P@\&JG@R/V`vY80)"p'vԛ߃eQk5nSTZsTs zTJe9!hF2Dg]-i6IMNyW{w?mtFeP~zp۹ @{NlIpU&vimTd#a.n^}cHUⷑq9DSK 35RS`0 c/I^ďu G-xE2=<}Il(|x+`Xc;maۇLFpf8LTm-E'Y+xę pP8tksȄJK*O.,_@qvZ{‰5չV*C8WN_lS2온 2lNy>5_K9}`=Y҂.:% I7CsvsqFhzd"▁/!ÌBh# S4tw:/H&xVRH,h+nEw=IF +1FeN-7ӕv-rv*(CgvĠ ^EZK{@_ƕ\GK#,|KxPTxyFӂI+_᣷)f<t rLCDmG .CgYZ1e7ba31c4dc05ddbbb631641d25d4f7cf03f1208 2c9f3be82ff5c63b1f16e21033bd1c4b35f466d2 2f7db77401291eccdc656ef2c1fec0f69869f556 4e0062e104a384dd4467d8375f51f17480533025 58120e6125904a581bef89f8e22afef8d50fc5f7 5f9f91dacb8bf052a3145f88262436d948673e8b 6ccca4b194d7c460c7d20d1bdf0184a758f42647 73f4a222f3b5e5b700f4c91e0ff942e0128596e5 8894e971a51764ea9e0de082a632d1c2af7ac9fb 8d0f9d4bc5410bdfe98eaa74450a4797e3b6da77 92bde48f7def0bd869468078008e71584dc7b705 b409a65573aa1439ddf08a9a817137e0855dd356 cf9f5c4c2ae546d3cd77524b4d6938ace41dadad80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4