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 o \|< ]/]HOLCF:threads=2elapsed=16.676cpu=33.072gc=2.256factor=1.987zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VjQ&n]z(נú{?IeZ> ;09e\eIZ юlR6%]ɵW'ҏ^gR1D5S_Ӡ8DĊС h(4a0e5z2C|5qp?1sōVG0H9~|K[G?]췯.(p>٫f1yhzCh flC׮р_4]O,*iWLp&鳁WlM[Sܞx&!B" foЛo aGIy+mnB}>mko.q/7N_]-UYxTj6?NuFjsJ3IĿ`< W8Re*֒[ +īމ 0XG'F$JKׯ&rޣ; QI\]-2HD%R64i2r-sqՅ:/ HI\g3Aoy%Ps~.]E6,w#*fq܄b [gYZ7zXZִF! 6]ŗXiɟ1˦r~KunύNN{] Os`𴄁Av sPfN_S }۔OJCzɯ1%*3]'a.)gxC-t4&d7?__Am.|ߦJFH^%<9dt]gYZ7zXZִF! ePU]ŗXi%;sXQԎr/CS '%(xnSkenP\|FM(hkB! -(*~rdNw^qy5\wj'xꘈgUmP>ýM! {uNB0*Y6dj >;A34/rI0~w=|fʴ[GWݒG02ᜈȻ)bwpD#79 F ½4 63fN^,_ 74fAcIEPk~\y瘫}("M{: 0X,0Y-P'B%^ iG)Gga;0܊[$R0؀:}PHaN5 XI٩@6VB:xWG?NSjܳ*XBn;.N@th8:qdk&{#3`@ЙfijhO ԙ][7D, selL-8 27V{4UR;5 +uʴAmy'}ɣ녜-F٬p]h.^nBCF#Ek YX{K QrgC¾!Y,>Yp]:8OvS EcpiT](֕fU'kx q8H0C9e:~}woˢ + fپC"N`Jx*S&bޔO0C(tk\cՁZ?S~DWV~FI;8}kLO=9#2^y NYl ?\h[1 ;S9Q6:WJ vp:݁7aDՓi YjtH>i{Ȧ2;&ٹTj1!OY*8l*3/.Hxݵ<׷|?#NÖwਫ LgYZ0b3bc1359324c419b11edae80ede7e00881461db5854d6758689c83aab18dd02aba520db4dc6bf79 c08feb1745cb050bd06411837cf1536009c8c2932d62e87539fc2056c7097dc39e30a573e3bdfece  HOLCF