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 ^ d O HOLCF-ex:threads=2elapsed=17.021cpu=32.664gc=1.300factor=1.927zXZִF! n >]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`TBTNsŦr&,y3l^∈V 4首E#-_R?~GJle`:f+ lrvإ6"t>y/b'WG4)5]QfZ϶ J֙>Z>;seMF 'JX?   HOLCF-exms6\-`&n\op{,Dw^lɏn5ծaaV{,,V"ѻ]t|r<޾c(p?1U:o()2J]om햩Q}w*)ؚ,8a$|Ea|R%TS&:R/iN\q'`GXA&q6Y/PrWmD!6j-?aUתfD<ˊ֢}N&6Alz2GoNM2,^B8\1tSɣ@jble* 5фkhǹK1.Svu.E$"V \r$M$m@ddux3ޝ뙛$æsftq'7MKnoiB]ӄyNAx,]@q{9ds ̣/60P+A Y/Fڷ|amJ y9kGP\ הɞT|JtKs)/D|IYO6-pT BW|?̎ 6bbup|AR~LĎwE: {r;!%m9=ĴJoZж-3T C=wP % P{LF۞Bkyа+#)әw>Yak קL;^[x8s xI{qu~NZo\pKG{A/aprB'~^Ä7~Mz1A߉F5tv't<\. JTdqK&8HY>/,8s~6m;K f|w. ǖ+ULȯy+V%Fe2M!iIx,h"JCsZ$J$j*cMOtknCwgV,+r8_m"Oo]{ٮ4yYW+JL/oq <B8Uh9%g[z_*Cfؓ@)" ,*r8u>UNB\[h(6 E)TA`5(!OrƻYCݖeln/)M.*ʀsm$HYE6|=-JIX$'*$aS|AsaQyt"o1-?FptY=D}QVoJJQ#zviU@i/U~YPI#|.u^D:hM[쬀V \O٭x22^bx 4$0B18'tG%utb'\;˸FC)SG))r%vn"btkT!Nm_Ϛ'ORn!i(`;O^LG<_X I{`_YC8Qh;d^ &ch,gaCDp6QeƦ2pbRpKvx}j+daу8h`r_77_5<7wU<K\(l)ugRƛ1qDt'N pFp;~,5,Wgc&rdj>Y49MZʠѤ>5̮,!_^w @nR $A$}2Gŭk-u_ƞo~L|tl̊Zk+z-'y *M0LjiR>sl+[(TШ.ZEDc3Iiwy+oNQQ̲7!)p*5jiԮrlCcsk`YDD1Y$'?w,d'Ųե6/*϶=G ҬCq$gxqۨQC(yR [FP$!B˃)JÇPAwB`?zIw+"v?vzs&vIp(7mZEE}Z ݞgYZ01ad330ba00b3975919c3a49fbb7a2fd1f1fcda7 08579f6b90caa4ecef3dc4866fc245fd84f7c1d1 10fd440961a468374c626744451888997f31c65b 122f8e6d09550bea029ccb1b6e839f533d6f19c6 3c54ad37ad617dc2d861de2dab681f402c864327 68bd26874ba31f2499644d55df21046545285291 6b60fa0f5810516fe9e99e420243a974afaba0fd 80dcfca725ace97cead5e39d08245c26e7ed5a75 852c4b663a8d439dbafab771fff6222b134f0cbe 861b5b0630fc19dfc3f05345c4c7df6022f02538 8e7a31346380d165363a6100f12d0ca8189408bf b93df0a10ead4c342235da5986353a7d12307920 c110105a951c4b5024941ec2a936350c947ebaca ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 e16dd81c25115952353dc50e98ef8842c8109688 ea07fbeffcb1368ab04358e4a6792a15022e958f f563a5cc176828b378f0886782748ab4fd9747dc f7d7695b21718df39e8a80a5c0e149dd8fdcff3ed38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5 01bd0b059fc253a64630add6c76331b07c0b1888