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 $$ ]S Probabilistic_System_Zoo-Non_BNFs:threads=2elapsed=44.190cpu=83.668gc=5.144factor=1.897zXZִF! (j=]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^IeO <y)YDB{K^3y}#9ӕL94-{tI(h;MT6|ecWqvtqK] 7up4SQxrv^LKĐ2:o ^p?"p']ʕ~(~?Ns7ڿn*g[9\m=sythܠ?f $hNR4x I_A;̸P}z?(-+ۥ= b6J-`gŴ;t RYKwk8_3kO!8|;_}`RZd꿨nkIdqǮqyدFL?`L}gW Ŀa+5iv_%2̌-5x)p.$|`g SL׷(hZӸR=tܰbDh>:Uڳ|UI9BsV_&3GV 2D^ˉ9eDď\U"1t%v –2cߠ&uPr:֫gYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~l nUCYCC=++/uI`sV '=b=ȅ9&~dg:ҹMTڴWc/9j/,f{P0{`=O/se$T,5CBlh0wY@m1?~FFxEX[ x]Lh0 h*Q6@i7R;/x 50@AR ON߆BGvjꄕ`gnw>N[PQm,]e:4F5 4ʄN]zjr$SvVO51$&!I%fFw_[ ^ FD $ӆA%3a77Ճ0r^ngYZ7zXZִF! ԡ ]ŗXi%;'QS umF7Ea&{xZ&'Aix`(-=, %zԼxWd%c3N9ns$-gH$TrGj #V!zmwXR.v5Uqyb2\RHoROm*s}P$<["qBAl=3pW+e;5ƧK=tRvKKFs/wi sr P˝U JdZʏ, 4<1JFl'Hy̜8vCEv=s5dqKXނKArOOYVw))зG&cS`hi8f4&*ӻAQNaϫu,J dX±ܯ׸ٺ\*-+ؘsoIyi xbW"sjk[+Vˡfoԧ@_;F/E1NW/WE.۹_b{\7?@bXUЧ'@1k8譮C"wDC:!8$i5Z*y60ia#bp0aϽ3;il*N.V݉m0OC#"}0lUTNa!_~چ9FT)͕T<ؤ K&(4VɠItV[.wDmĪS;@ˑRid×|z4몆pAq$wM+U<*Je K'p}:t[@[:k~^~"\O%l $ | O.)c'_KFW6!_S}|shL?ڝeck$#-33ꋖ >a!C\}i]hh0TŹ!8ϸWƒ=wyy{ z#6a&?tfJ2 t HЦod\ވΎz)^h}xzD BMuOը` U Si-ϛFwD%w|TnO1}%`3uƦ# ] #%1;:"AAőh5'ERk遺CiEɠʰS:gOR/AK^vRk т'^̈|Z48#+G\oǣoݢ4ѣv!j#gCsšɑ,żfaܘ I<&e&#:TKR-}+g٪Nҫ?S&N,j\;q.t^]?+]3vx2K`{zd,7,4cI䀾ڏH^Ⱦw-T~nӰ'U?H"ū[ :r=FZ57_{eG^<SxZfc>=(UǺ}ɮE" 3d(rՐ9@h *\-3K!g6~zϭPn~g/Od7|k ng*3`f9}SN3-pN cGGɄ 1ԾHB{O_lfOHQpN& xj g?S8Qm!ngYZe35a7a1ae281561d41d6c2f5680019d6a62bf16179d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 81bf6d9ee28ed1525cff1dc4475a90c408937ec0 5ae4ef67c421e6122b999d703a2c04f22be328b0