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 s- |?Bߣoܕ}2-/NAi~˜gq>lz86aoyhgE~ ȃ|D[9er x5AaEx!02a5yEe*(gSގ Y GxO/CW YY FHϏ "Ϥ4!&(6X n~Ww2b2֘!JݧbGr՗<@Zsy1#j85+dٲH**ax@mt~>hIR6n8vkAuA9'̠qKj vʏ,j(? [ @* ]1j/m~D0:l1bwff)0cK9KMՅ [?`f) 8*+1˫죀=rN)[ +P>=9}ZJV.hthG\tKUC1Yʀ>D2dGj Ir,ai>S`œ%}1 $rUCO+Y]{a(TZ.Č*aa[bZbn! uI,)D y?:/3Ĉ2VV&^& +2jrW ӂRM+d!5$5e!߇<q k];Z?A_&x5J{?ebD hdZ%|3TdA)e}RTNmb  @z.CA,Lfd_ic #vmPYDgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxxA'7}&G8m.X6;=8\o·yl&$}.UŐb;[6m׺gT׎ ezL]li"˹G䓞~ }Fm+@~W24T_KrEdudο >,gYZ7zXZִF! g]ŗXi%6ƧƜ͓eɗo7~uIyۼHxmX:2եzr4Hnn\pC&dcEdsXLYy+L*J: a vn:F}?QD/uIg*w~ T1̪`5dL}^x9U\ ||SD m5rbVsJ" bL2pvT <~Yw"zj)e$ɪi5HHnTA{pK baH,@N "M[\Toun0^S7mi$嶶qZ 9=\0rVňqERqT9X/=0\z<V9ެ1-rw0>rsφ× ӷ_vY5iLK[+4Z8\9rtQǐy*>uF7нAB]#Ql̜^O !+qFg.HP(yO)Bs+蛗(IkT7nж \+Bd9ۀ.i5Ekr+IlZ@+$f!=8 5w%\|0$(]`S;{Jމ40@j!*#KJg-C_52!N,h+Irj36v JT&@vպ̥n*GXԑ'q!E=Km8 C*><ߔ*87NGA[+;ntU`WGƨ5] [~(pBOt&}qG0m*8၂lt o2,Jetz,'s8k͉5Q.BJUMؒΜEtkDj>6CifKBYS+p"ِ5Y7xq.z&N?5_X2@N Uth`pץDYA#?HBbg"\8}.̫$W`ܩLf9j^J܌[rbJ)<{@J8͠M\eNʝM]ph%ݮlx j:MK'GyQ?$;VB<^dKUgtxQdqZy2Pm4mn)/@xMr,GOwcAKtxc9X'?֑:Ny*'@6g뗀KI\