SQLite format 3@ . YYQ77Atableisabelle_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, "errors" 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  " |T ]% PCF:threads=2elapsed=61.094cpu=92.172gc=2.988factor=1.517zXZִF! !7]ŗXf1-/6vR[1Iq@>=s(qKgslYN*25ѫO ! f`y+|gHM'KnH.`rWͷ\szM)HONkj!ӻ.(E HX{} *Gsy, I sC:,4 |$JA*ZYytʜ87gܜnxQ+5uA ̰#S[n9M7jn0pŅb.2,;\zziB)?F(f#x8P  PCF;ڊH'q5vxWq6'M^lW9^[`mkJ#KӺ0]i:\ood/8Ϊ:>LWM<ױ+|Jho}o#@i-*-*.GDrĹ o&_kEB.+`\SY|½%,[I/V%[j _8]>'V/'}M ' R1T9!zkȅC q2Z7BGfm.ؒѢ7r: qчQFXUoKw'ɉh Sf.*`"`eeճXMNPW!I+j8co[ExuSRD1B2[gYZ7zXZִF! $e ]ŗXi%6e[{'xXgnŦ(YHr؄_'Cou+dv̽7.4eD2Іc3NV~bn-] jiOա22Ď7M~]uDn7!1BFB7bLm:)Vn16bJkXD榷pi=@6_(&!U ǗAcj\/q3Fcy" jQpLT3>/2W e4M$6Өu%WRY< ;(Sq$[rRFڧ=S"onxXT]Q]_?֋f)}<`m7=:ӁMā-J&k,Up![Зr(5 7iћӣ@fDvKp^67ߑr{֦"0]y.:gn2lJVWLѲ=Cgt6yIXo cG"aׅ>Жp9=WH߆:\BkX3t@&c?ҳ]b*0?x9Q.'E0:w8r*Z-^&j6ipTw)C>cfَJPT+ȋ@1\د[OO?m|1ѴŚo O Xhv|;1{p65/z9;˲%-U[p}JA:PrEp"'ۭμS]{Mg$V]$I]E#Ӽl2'& zXjG/%!bj= tеsf`^B5 9DA 86V_m[~/)X-Yy 8b"w/O:n%uh,lZ3x0H_Ǡ:}8X\1YEsxcŐ=J.7f^M< |,.i=k=#P>um:eM.6>l<&pz|xa&Ϸ2df6Nm'qmPRvU}:ocdnAIOKrWLbp4ڌ[~6Uk]O>b/pwL%UBێ01K&, {DH&\ %`t#|:b%8>T%@>lK}Jޓ7$ˤ:Y' =4Ĭ: rG8saI.Ժ؎}|8Phht='\vJXNͽƎCTAaa+Te W?rwk3 $,zyvWaNl}x8$KKׯaJB!yE%  |,S^ p?FKgvewPvAUҐЀv aV,-8$s7-8{B-]/w eDF#$Fa/sMqd]ٚm(LϴE{UzkkNFϡ:n/jX+,m,g00v"N7ڰ%UEb@j,znT~܌{hD4[vK@gJ!8Y.<9"Y;o?i7~ Y"g"$,5x02^PzoK{f} !3ON7'u&j1[~ XipXetY$z"j 0;zƩ Pa&&D{kg<5dE{Ĩl^3CwR ;B' LROL%LWo~$mqk` limwɐ@)4w RxU\2BiP"P==ϙZoXj] 4fɎ2-=m9Yzdg`1biPe3OgYZ68dcfe8545cb087adb0578f594ee9bc5a7c469580a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 c9c9d30478737227e1dfb65aec526aadbd63e755 0b3aae57893c7b4b829b04effe278f3d98588ac3