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 @@7, O HOL-Datatype_Examples:threads=6elapsed=84.221cpu=303.696gc=27.944factor=3.617zXZִF! "]ŗXf1-q恈&!&ʁDݪsy|NˣCGV2yR=q7q ֟]~g2+$də"y'dg 5JІJ A[k`))-b ³DM@׬mqz~ wx+OtԻc*0ϗ)~I[KesU^<R~IrQn9}1۝ԧ,m _%hnnM %wė0졐LToAzf`܉ZHave©M6?ucCC390Vs9s3!P2czM8D_:-7w_@Ƌנ~'"$/╗?T.Vh*lуB*[BY 5{i|^Ti9炼"/N۶XgR`vjW>Zw Og?pL!LM]rkIӷW'7ShQ[>}y/C542T]ZDzKI23Gnw{:@KL^-ؾ*%{6Q-auE cRj{;q7Dτ;1KדyyQLOԖVWi7x<؄[y*F"̘kJusOwц{ k7l{nqY!. vwU&8 zOtܠB⬿2ohmC/e"78OVȝD` C')B9K^hp}_ !&7^vV冾jAJّw:`.{EB3"09>w8@GZ~q__|"dxWME#>t Ӭ ޣEëSuHs I#98V{@yjcu#I\w 9; xhVܳp=l5/ Ab;Ef]cOhn߾NR^&[ 7MTkxI E,풛(b g&"% 81J-~&?jC|pкuё6+n*0nG+ o%Le0`4.߆ "wS_*)*q=k;?`;eV>H[TW;EHN׵·سŗcANҀ)J74ݝxAnQ78~m%B(Ҫ/A lge~zt[%T%/cȃt Ip~ SB/qk~t 1 H7COHOi𝊕ȾzQ1QO4ɎbgдZ$w_0Uv>!5,9 nFWxqvTCa=;#J;Lr_*3 :.F4եy9rϛ%-4.FSTPEiDNw=m/U9C$6nx=YoiG/wtWm)8'R#-<=DXɦ3%\Qir Gj{B8 `u@:D|+-g'>g#vϼ\$'M ZHZGhdy2ݣz sF}õKS\ w}jzikbH^i{DWlEqsQ)2cfnGUݼNeXi&]͚3Sʜ;2\`INV rfF sǗԭnFlEؿPD[Lu2gr ~, *+ڝA#=6V,$ :,vJ!A% bѹ Z{+Z~kz #e 09`]ѡMx͂˻ +惃.*QmՋ+ް7$U{IMSYpa`EI/Ǜ z oV}+\݊D яƖL7% C %t3Usߑ/YK)79R  n [u'¾NPpޒDlEܡ55C׸`Jo ١ϢsWغ@Fp~1.c\]'3.We9euI?%HPbWHbIY"0:n15Zpz.̲1yQLbY9?j -@fXqOKmjA &X8 ֪;:W14qQzfx' F;#*HڰyP䁩_Ck>FzUS[./땿H{1-)HEdJQ l Ы|%f딨p?az]0#iN"apC}~ۄеVK4<)6!?8Q}y-Cy,ѡt5d x}8p\=LF2åRUN☢6^ք m){#E/X`1%KJE"\3ثHM1,Q_}+ Ufuu*#lB^>z{g|;C ǁW 57%뱿1ZA0{2MM~>Ed-$b M힎ʿ{އP$heCP<1 Կls^s6#%=OԾyp_-TCvTKQ *9؞BV_.|l[v3exM|kiD*v+#_pӉ_)Jf!Cu-7i>aYAWGyKȶ,Ve@J~4 -2ncjz )hSBB9^LF9['U5ۗd qf\o􉺙' $2[˧*} g[:ZoilNQBl8O/(AoÂ߾## TZ ݄6?,/J4uR"vd!dت#,bÂ5VuÀ!KU3 SN%ո) q^̚_VD[`0<=T+|_V 7PsnFiC8ᗕ A35MU"HӲD@MEtXn^{|.IL\#qGQn#(Ts(H*7 a 2gN w$y^t$*1Kl;Ae/xˢ6֓ofG6v 0hCZAk+3 :3ny&V\1pF~VgƦ8BjRrgێm7zRcr8ANVrtn;Dz.XhyG:80"iܳ=[eS \(y ٙw.ÿv ɷ$:AILR(<뻥8Uf{1E K'taR(͛?Tv*k$yvXt[s9D9Zb>FhȼbuHnZ& نK=m/c"Cdl4G ZBJk_oK ܴꚗv?1tnnU­k3j֜9:mY!m1C@9ow@籫ҍZ4AHٔAl+͖ürvq^dGIז_2A oȋ]M^{O U۫CMV$aRf:E٭O4}>j67R*9`~jy4z}hX``p;??p>"\'$NMIXWCUe5Μ#.{t8f<5 $(QPdwc,jM13G ۣzXv w6jTVJSi)I,G'-͋ iFh9"!$(4=`g ?c)1BgYZ076c2b898c9dd24810b5307f054ebdfccd515102 111bd506a747a8d2148e6b1fa1f81695380436da 188772c8cc0763cb926fbc73250592b3d1fc2fd7 1a7acfcb263843f9a678c1ce0c07dd60492f5098 252d167e0a4018cbc7d576d359d0e9c6ee845c4b 4ba8e906db1b7173fd60af78c700c4afd9103c3c 5ebed541cfcf29e3e43ff346c453a6e1b69b5793 5fc73a9c2bb9c6f5cfe3b1b6cc4a8d5b018f0361 627eb9ab35dfce8bf8e47915e55c4315626ac403 70d9ea874231a0d1f29fe736dab1cfaed4d7e7db 76b3b2909a380b81f0a6dca81ca22aea5b019f36 abcffe35b50e769314d17a49e69cf2b76e6a124d c30b02fbcfd250c7a4bff57f0a40fbe5a596e36f cfb98c1ba5973e23987602a8e62e6815ba583dfe d1ac231ee93e58fa03edbb65a38283926432d0b8 d5fca18ac4191c95387bf634e3449c39abc4710a d87e1167ff8cf68de3c424e365ef2c57bb8abaf1 e3ad14e1344af2ffa265f0e446036ea14665e0f291f5305fb3fe14e7ef2e6985f51b5dad5849bc83 9286910ee9ea881ca140c8da2edc28a01ffef3b9 6a36819e870333ca5f06f3e010584711322bd129