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 PP# T< i/ CISC-Kernel:threads=2elapsed=22.830cpu=43.924gc=1.952factor=1.927zXZִF! d ]ŗXf1-/6vRZx>3dd W4Xhz0a=s`P&1D}SOz>MeܮXƶ:4ua}M}OP%I=v#=B^E} 9Z؃SLdϻ7I8XOlZkJD-(,6}!]HZ|ZqGh#t1wO0lUx8(Bd}B#%IP_tu\4;YĎʵ㡰[i8E{j?om٫ ^6U'P{hUԠ#hT0z;B_:\\J3%.h0ǯQe[tBpm0G#G\^o517& Y!}QC~lqL;q|"LJ &P>{-ul?ðPDC2!|=g̬%,j_-|42uC焬ފWP"QgߣWpRTbZU0! # CISC-Kernel9D]ۏ9o${64hvXH(r#ΣBƚFk;.jhCwk}LkE^r:`V7kp8^t+F3P"EJӢz`nO_gwGqN @ac b*Czv|- rOkjC:}pp4v<3ՃGN$偙JK{&C shR+s;@, `j HrD_w}M_-NF@;@-q]e" LU$7uӤEoJ1kрfǪ<3a-*KJo<TS>IecRf,feE(gQ'a6Uk!RaD: o*QPP}/I;+U1 icע1jSz6 Y-FijxIvŌ0A1Q9m2_y 3{$B$ E%H12ٗڬDٕt1w>*i~4_^]m!JrV5?e=8鲔5چlSj8st>7V]_:`da_C3d\ʢ?X訖Qg*}݌I/" 4Ωwrz4lRU,nqͧVԇü<}xJrd6b]7Iլ"Ho<^֏^"UD{ҟR*V ~E.MFa2%`~[&ʌ\jl`&sHעOAk/MG OQSYGtv_8ѩ=}W.lAjP6.9ï] x\hJ?4RY>i ''z(.\)ŗX3D؁nNg,F=YFcMjN/͌ʼnMm.*ֲeTaȌ@:ECHn.J9K؇kG1#NIɲP(P`{,{ۏm޸.jF9sEC} ߪSJ̥p{9*Th-0&5RF.mt`ѡSrѼSl)ЇFuciKكswuVq@z~XzsXFsv3i7~?V@'$G6s̰= NhF*WT1CƌBM>&im;0vA@{g@}:`Ln\q 0.*n _5(=3' ~ iBeK`#1%qR2T.(϶ˆJNJ1c 2 WKQ4.UeB3[=ևi WS5fln*͢*~Au r V*x?X[wHg=K,r&DRRGg_ ;1B֙la!/[d0''Q o{УZ0Ƹl+o(îϪgoA*샹b~l2P:Ŭ#!lݦ$xJ]ebwffP|h"IkO@=Y#: }&wD!C̣eYT F$[91I>{䶠q0{ K֥Kqh%>emV_QUz$,]NCUY 3tMgV0D~y9. 966ӓ7:oC!~=WWW -Ml3"Av|麥PqdQa]*)ч]AN9g3S.=jXEK^nUWG4_LWDZ^f.1K=$,;-v29ᰓwAppo qafH.1<#OP6 G7K401Ԣ'"wDp ST70_iFM~;Y`QY [Q_U @f_6MI^oR+pJK!5'뗑kYRC\o`[8kzc%]ut3X.仼%s{%|᠆hWۯ~(!(+rKGM8@e Z(W1?IUEf S:#a f2{LmuLf?&B$HpxC2s`J{KrdGoCd~+6y|3ҒUa8Յ3XIY\O!FfdtaOO/6Vߐ'o7*!!qu8yd&~Fp{+i< Nwqhi4gܹJ> GIòW--V])D01N*lo+?]; }D412D!ĀghEm4axj-P=ʧT9iYkn%: "aNB K/ V`A]5ԋsmRF:5! 4+P 9S±gYZ0506f095c011835c4f7c437686483120ef02a687 3592c30ac1fd38ffd526d039830f81d754495946 36744a4124e740bd34455511b5cccd324f277a13 3de2d68c664fab32ff7a3aeace0d8bc43f924879 440b637391744a33a3e30aba8ece811488c7e9ec 4aabeb454f10c247e38df7cd714481f60134bec3 5061c1f8ccf840f9ea08ce306fe0df979ee274de 647b29895a9a234f8b44594b5085767187248cd0 68d9d51d23a8266e670f046ac0a501b349064391 73b9223cabede58b98b327a5ba24c2decb0b5cee 7ce1d219e87e3a78d77a826d66242aebc0c1d8a5 8ad780413248ed3f56d4f471bdf9d6b24491f498 a472b67214a1cf6a22efe58c8a3ce2529602cfbe af88c9306c41efb487e6787c9d795ec3c6948c83 b8ade7f9d5f7d4712b723e66913e308ec2ba70cb bb7be0def2547caa9c44bbe0efed558cbd09916e e348d16c420645f70a5d38bbef9783570fc1e619 e41054397abc751ba6bff1a620d2944ddee02bdb eb59e99cf39fe39e027d7743befd21a29b92a39b fcf4d458aa667a899f0ce8a92bb49c3a31cc7d1b ff0c2da3bed4adad2ee8133efa39fcb5777340d4 ff997872fbc887147587770dcd32855de0cd9a57 fff085c83c737871c16986038cf3c59cc609f6367df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56