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 b1 d Sw HOL-Probability-ex:threads=6elapsed=26.998cpu=46.568gc=1.284factor=1.727zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1K\4@H<^4O FX5e#DXJ0c9zLpNF9Z)Ce,K>h͹;X?xvefOWR%S+|UzbZ[ ht#{J?Gňt, B!z+罹pbsViocs"qѺ8nmʽ}r; &T+ڈ|wcd| IVrKҭ9Ė#9OX **R̴Dp'mDg4KiaD:Zt_8ԈUzݪ&'-''sQTq%!]JROjOr`t%\X0Dz~$֐-od+Bf2KgO.~iƑ[Τq@ΜfgYZ7zXZִF! ]ŗXi%q酾:ʸwMI-N` Vbϧ!"0%@F[ީr!8qs_Hv^5$=wȺcA.|LyX@j BANR};LvYT=>*s~)%6eBU*^(\ug' @'UvdAٿ$XrW3c E',##1c|282߉md#9,0>vܷ$aXu>d-S5qy>{gI Z݌hvi5גe `50= eޝxA8w?J߳["G D˕WV4V Ƥ11~7ы]3'o9ߡL9~^G.1"ɋL=q9ovX$f!F£wƬ+:'ቈ9INN;8f\QˊMS ރ΀\ y<v,,TPHIH+I2% T(IkV L.+$H4WOt#=ɀ bH8>=~஭;!&08ceӆCZ]G{1-Rm'\ñ 7Fb)u^?x͚6:0 %2m˙4x#sfa25&tnW4\f_hjrY0M! ϒcR(ŇO#Ihܴ%,r\}+ʮcΡ2*#[a8g"tIx@&XM̼d ,xK42*a1ݢaKm{`~7.6d;WW[g4~Զ̄5.*C"䦇94"U> o8՟gl9"΁y0ڌsBit0?)'a؏`z[f[