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 1?4L ]]HOL-Computational_Algebra:threads=6elapsed=33.820cpu=103.712gc=4.528factor=3.077zXZִF! +]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(JbX0QK 9!$HAcPҭl?h[j!?AEM}<כ9I9)LM_~G/He &rErқn 4$t44qa1\! s͇-8|NO2ïr! xO5_hhאm0LXEFp[VEVnX2?C :\QC),Ð-m#S@=^~{$QQr{5Er鸬KaJUWn:Kt6zdo8 Ro؊?xeՕi[H[ZWNs\VKցz-=(JTcZ;Dž"A-H 7ש89<^=aeC݀IեQv>00$Q3Q$ޕy5THuZGY$LAP:y:RW@4V<6vFZHX=3E!Y>MatTt3 ֐7Z >.] W &|gYZ7zXZִF! ]ŗXiɟ1=׉iGËe2#4KHH'TY8JXZ.3=RdL7ӳ$2 :NA{'4 kt;/I9T^PE.OB TeDZgYZ7zXZִF! ]ŗXi%94hoyKGJᐶ~ddb&ѫ^0T0"C_tڑElY|=o ,>7j9}ʚM Mx=qy5?Vn9W/R` ' Wl/ܓ^%I9VJ&9WWwk؃ DgUD&f yڰfLn^i˅cX;1Uv24u7WNmQ¹:0n`mTt/.|%@!'&.8CDWpe 4U0kYcldili. 7A+ ÞAfDV9ַXˎ %BgGnrCIn!3kpFpqNjJBJBο>&q4﫠p$"&m8-#‘2/ Dװ8Foc 1QAYE6K`H_D?Ab-8\yjD+~1Az7vWMɪa[sH wp Fٝ C&Cє )U i^wxHR:݂iI*VQJ^c }wh5BitA;\挧$ pu(e'yV)8&8Tu_ΡfQo`aMvNH$Ua8ЈdLt%'’{$"*1V9I*貯*(N I8btVbOiv9zPnU`Lo4G~n%_rgࡴmkM2ba5f(L~5=JU}aјan2e~ 6Yax<ǭJarU?3`qÅZϥXĒ3b3@'݈Gq1R~G;@~lߙf8Cs њAqP7^+.K=`buӒ^`[Rp4\(atT< OvNK۫جjk+Ѱ,V Dt}VۯY<n@3q(#g{h@ 7`lՙTΑH2.!XO_] ʹ%UO@-| ؁ϔ%Pd VAEce0 ';e-I=tki %d6tCsc( TÝ ϬNk5}GU[hՕSk{O[mߌ{6]ɩPf<-ppl18OG |ʮ gM֥C2}&VYMsТ*W2䧠.3; 3 SꞷKkƯW!B]tb#b2[=`l+$Lh|owlR(7xzgZÞ>&'tLTKZ?" zX Mby!(B|;G YMq5XN%e#Aj67 S@#.T t˪#Cak+e3R0mk׌|(Taſ[k zOjVa\x@XI= \fkk(=y56eWхl0N=e6{(^7İx*Rç~}&P8 OXǖܤ>iՄ*A撮:tX!Sa>t #~FUL 퐪5ešJt`~]VCks<!T.ž]pRv% ZTL&:ېTM7wٷCRƳ~@_+Wwa Cpʑ\\<=*ÁFgBڳqǤX>eQt/X+H dg@8No6xK`Vk#B(,O2śx.k nT\)Te/Qh¬׼ "U#qԧS{ (xc8IӟIu앢^3 "sSPw}B TA_IF`u^GqX۫b(eob*ha7WϻڻM |t'߬_sF:Ln.]0| >mpHJ dgG5R6sb!·>" +ތϽ+EgYZ603a5b6f926da808f3c83c4574a40b7c95cd7e6e4cb12afd9789625a4c2e40cdf1e2d0b3aadc16e0 7cbe2b787552e2377b1e9e19550fddec8825838d d6adb3dfc99a1f93d012ccd59267e82ebda47fb6149f38e2f2855a563fc2f4bde8f85e6f56397d85