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 5 HOLCF-FOCUS:threads=2elapsed=18.237cpu=33.544gc=1.160factor=1.847zXZִF!  ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`SRm(j!`uɗ {&gB( 3ߌɣ] Jxe]rkTFKKxsuk?ތG֩W 8Kg8G)6@)N`/˨ 41D?\n$G+Ri9LTE-|ݢ )0Zp0`nf]#N9"hǿ60nbvo'zkTRzJ"Rʴn&&cXShi RIByA&ۤ(sJ^ W4Y@_3OJ%+1< !/saP9KX 2 TNB8P#n%V>KŸ^FWKZ0#Ŵۑ}gKCZ}P`Ocl8}f`%Y0 6ʲ 55BϘXJUk y(UX\N7Cwx[ڽeii1qdjF0O3ϱȨ)@1#~uDM7ri໵!f[%_WoK1U֘T/0lrD/OYu%nv7Iэ59> MCu2%9bS9%]'oѲiװ3C$SyIY mz uiA\ %?Pe<S,. we)#-cJ)h_C.v}!YOvCWPfeZI{tT^G#U ]ۯ`f=ɱi؊hDGeвc&a1N oGj8ƒߘ+7LfwtMRmo/aiH Dnw:?w<V0ncbObIJ:9%_͝=vGՐ,$9Rl}#Ggb艉4]A$mb8 CGJ!5:!ihbN1fƒqO'n 'wfWaטt =.,ln 󅛘=Wha[gYZ7zXZִF! T]ŗXi%3q1XD^ّb;k@o %@*m"Pts[J;%WeU+O܎UK < gSds|]ZWZQձ-f/#B_4,pwAfMdOIXgN 8T{R `zF%jA`LPr3>6΅\ &uVS`a$g]sܵ&dr$VQf J3]$(<ŋ[\\"~Z$tՅ5dK ~2}q ѰRPs|; 2ƹP\e @ZMHi W 83FSH){s%E7FBf` eyYY ]`hYsc# ǎHCGw:q)l1h'o mыd\ fɫ=D0JP$#  $5L)(qA[-L"x,moQt8ё.Ɔ/|ٯحޯCa@}0&tVؾӁ4~dE:ߎ\]8\e y{F.pPXz$n_Qm}Wr"Ȯ3d 7a} q'mbHgs1d傀Y/AdB&_M a<5-AUOɟ&Vr1\t]Zq"RZZ*Eנ\VU΢I>"t'j=X. )#K(A bw̹,*I9Z1=3mmzIFLZPW9ɹc<}qH{WFq=J_oX!Rդ5۫/t7U7x/[r҆g {u`A8 #,gYZ7a24ac0b5dfecfd710cf976d042720a27eb8c80f 852c4b663a8d439dbafab771fff6222b134f0cbe 861b5b0630fc19dfc3f05345c4c7df6022f02538 9819d8a0fa88bf71b1e89868ebfc3ba18c163ae2 99ac5a519fcffbea46af75993a1058a6200a267e ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 cf1fdb239aca179843816c6e95592083f021315c e16dd81c25115952353dc50e98ef8842c8109688 e3b6f35a7b23702f0940d11cb27f1a0c2dc25d95 ea07fbeffcb1368ab04358e4a6792a15022e958f f3317a6f9672d05c24aea4f8d56941943f9614ce f66bb04f776a67c77884faa1a67dce2fd949bb5c f7d7695b21718df39e8a80a5c0e149dd8fdcff3ed38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5 01bd0b059fc253a64630add6c76331b07c0b1888