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  U/LL| ]/ HOL-Proofs-Lambda:threads=6elapsed=109.098cpu=137.924gc=6.080factor=1.267zXZִF! <]ŗXf1-q恈ܗ4ޤ9ks}JspSm[ wy]{Ia?c@%mX,(\ ?#C8Nj1Kwsۿ ](+W}》ܻ Kwa!t4SF;'0)"E:g}781о}ƕ++30!/]%".aluD~D!)\8bM(X.2gFjy֝%'Q:vgj %vp?yX F7WE/#!az*]L-ćja(ϿՕ,ׄ^e:2* L|\5<ڗgYZ7zXZִF! i]]ŗXiɟ11bu)]>_ws[Ɋ brٌB| 9ֳ(XW9o >X3 _+q:^Ing_%iHt%S,,RͳWma +Exrpdǜ B\Ri3gc8PJxRI |L2 Hg -(0\O"AW} ` F`fpm_ҥ+WXB;5}ѽԘ./ ~Ajؾ\9x(P3C : t:E~vIu_y w? 4B63 `%?a jBV>CBLL龔dۋ0P+9"UdX ݗ%R(P!18tR@"pwOH+0m;%_U2?dCqYM"66p4N *TXV ?Ιcԕ{vaY7u'.߰[™֢ibx(\Ȏkm")Yۄf,%]zRg ^8.q%Yr}Ԓ y#KX|IL2B7d |]vMq^dcy!x.X =GoV@e5Ci$@U. ;O5 1'c%-vA|y' 8?L wndiO">>Mwdz%%͚!6{JǔHQVX[kK]lpsrn_Cٛ=?ȶzմf3י7KgxCV<; g2@3U^d / HOL-Proofs-LambdaG/>ǁrSQ q숬^.64r}FDf=wmeʛ:^A5%Se|?s4Nq/+Vv9j1hD$d7n}r2ZQN ;Nj,۶naĥWT|C=S*?`duك!Xc{RqA[{}rc*R`>l;bBcYzY*Sݧ>w@DyBg:C\tԯBwN_ThVMN\%_I^!G#7KwtR-49OVH8Ww荫j3x=mm0M4q&<59́gEYe ̬ Y ǎ 0[GbevhQNp$Xřئ5K@,[&:q^2SB]ԓuqax!uaMhYĥHRU{jЍ8Finmm3{ i"#M!\zgKKZH2n`F`j!J@pGIIE8T}Goe&)B8 r׆*} ~gaUOnWP& |XE"EϨs2@GʿxܳC>5;)ɤQP?Q^a0Xfd=]lؗF.Epa$ʵ1SxSyʚ$+F@ o F% {E؛(Һ3JJgƻ~hMnuzF~Zh )<=tRӮE*-zLw< u^lҧ#ԠHo}Uc|r4ݥgm[<#{Z>NaNJ bNpF5awIMKM4% ,DoY5(S|8jKT+g#c̢ j?OT OA!Gj9d]Wx'9 &#zU}i}_FW)zEyP]Byp?nWsK6=_ lodn%)K?jeXWCdM.?R[ E-kƓ.?P!Up]!i~fז|( H ﻑ~>S)Vv"qDtՎx⧝b|0Q2-tKe #SW&THٚI.=:| v~7٩4Z p˟|~3yH,QVO`̿bkcDI}K?NV4zX;kƔ-/,OȺ@mI= [*zŅܫQ Bp֗SX T&Cg3˖Cɛ s 4_feSp> fr69эٌչP0!&&DrnMM>`i͂y&yߵyOӥfWԶ5ˏ;{D)+*d” ar%í ^=#&ڻ0ď`Y#YI_j &qB?8Ф~e<0vN}[ܱ)!/ig=\TQ-@