SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 { D44 ]/]HOLCF:threads=2elapsed=21.127cpu=41.408gc=2.600factor=1.967zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6^Tټϱ.N7K̹!8z-aԘ翪M"i*!# ƗljSRwp%u?'? HY"SVvdߌ G[jݙVc tX_- VROGq[.=c5,on_'#zPDWQ+OVʧf'^7. ^<: ew1& ,b h\?B/:ArTz j z)6OH}Ɛ2ɥCӽ.GHOfKi .3^oc+Q[_SK} iP|fvozJ 'mw6>\deOKCJNO1e6*-Ϟ/d9RssgwvI>{Z4=[0˃ׅ9 Rd[@>5S`{|%ĖBOŅ=e9>mićKvm'p ~) `LT|{iH:Zᓤӛt@ 4fF#:YPRבf^G~>GW:$dq.aV D\E)Ci|7&iKM>D%mh'gYZ7zXZִF! S]ŗXiɟ1˦r~KunύNN{gH|A[#_S1.h0/h/P*1e?=PMb8"L+"ٗf8= Ϭ;D6qIPL#41r 8B zW*87\\oH==XPà:$+H3ܳDoƠ楱gYZ7zXZִF! u]ŗXi%9*WWD!Y_M"܋.{Na0U2ob&0v}S,PrMKSuJLpD[Jr:!肪@㍻ġ;:Q:Fp4޺T󱧜X1 6i:qyN`t9|W"!j㻥ѯ#nK`+K2p6X>t&ߨo"IXGe4Kw|Xz%2])_dLhWlM΋ՀrЖ`}\m> C{5,aK4L2IADMl}7NaN/#18X9= z]ѢF]1$Sg0Y32|mH:~Uٍ}Y y/B#NSjh3s*pdP/,@̈hk&R0_M\jcja16KpFu0g/iZ0qC%$|ʓQסJKr>K%BG`IvB*K :,T -x# lY-<jߐ4?b \h%ROZ@DN7ʩKsv-ѕa8g|,|o@9M,n&"Eb/0BUɤʕ,8 _<LdȧV/Tj_ȿ@Ţ%COӆ!!=hA޷jٿ .ן/]V Mgl;y0y\:˞?r%ּR>E 6rHZe 1Eȩ?֐5!Fh <\B7D3bw˜ab(i'M6 5X!y`5^Vu3uO9r5 <n wKѭEɁ`N{9 ѮP]3FㅤBfJȯ2^?q ]zFЪPD"+Քy't,:Iq)Ie駝kzPGˊ)3R͗(yLTHBk"fP[_)BNX8!6FyvꔪqLL ξɮ[Į\**L5VU:},Csa|$%/>ϔ޵m{|yۇ|=\5=5ɇ|P\k>x@#KpE%Xiܟ+opM %6%ky,TDt~&I-eiV*3fߤl6h%}p ˳+zRðbznlqW.tُ;€5\raB nWz9Gr(? >2t-Zݳv}h bA]`pj }(gYZ513aa6d703b78f2d55d0697fcc019f61e4d713811f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438aff48b9fc79616b356889523312f0990ba7f74343  HOLCF