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 __ 4T ]S Lp:threads=2elapsed=39.358cpu=67.792gc=1.548factor=1.727zXZִF! zQ]ŗXf1-/6vRZektZZ/BcHkIv[ W % kYȓ:^#" \+y( M};Τ`ow`t;fc"^r%)s,@e wa2٧tXHuRU˴LgC']<ٗML1Tx:r=Jbt}#@LNȡ+ 4 R&fRAyӧĀ̰5P;ވv+7nF 7&U@ T0$]0YExPSڪ|<0z[ ?gI 2r5uԨ1%+Pb"dRR~Pwi ]Ru!ZNleX7uӲjAOufCļ+VA4"<)K㶎>Ҝު[Hi)۟ߑ}BX`PzO'gV|)W" T~5pmrpEPdEpo*ߓ56O,%2S3„&*0$cH)(yTuX3ㇴ{#lWT $tOUXv{z,Կ.f$YSpFdjۋ|&Fews-8/ӵ6l~sWFoԨ Ȑw#nhI< pܷ rdk2NN2yz~ёޫǔle=u:0c w@M`o`ʨ,S+%]b1<R!@"; >p]gYZ7zXZִF! ]ŗXiɟ7 +W*2TG= WbzAYLh 7qyp Cyh@@ydX|{*p'koZE V5vgW$0 6_p; gYZ7zXZִF! ]ŗXi%;i4(rF^MUO LnLt8_QY{f *X Zo1ϻ=Ɓz%ג}j*H#30 >~ 1mՎܹ3+a^ճ^*<@Ϯ#>HSkHR$o%'RhI=ai8 sjCU >ݩb-7w:_.C!e`0Ɨ9l@%򢞛=UDq w믲ݝwu/3OK?.RG ?6Wyk>^֓c}AZX׼cw~6̐ukU*ATGkFR$XEAL`H<.&QJ G^>m0p^Ppgb3շ;"7ݑl\#9^lq'xH Jiyw0 6Kۄ,=+1T0d7_zR 5~"tM d|$L}UJS=q1'>UB{#{anH6oMabg ]ZaӱLIy]s497DBINY)Zd#.Opx?h5Htӹ@QH5K9s5Iü8 n|ob{ok =^3)' yi;*`޽Ի·ONnx%f웑8dOU-"< ݅zS8@ɇJqVjFlp\QD2mjip$!7P #% .SL tKQoʖ7$1\χ5u>_fyxC)6& 7'К,B J%p^W\9 *4*_ XNbӌmzKlq^n(Cެ͇>c ̯Y3K@.IJASo ς b,]JMv:Oj9J4qWzL~! Q7JB  hG`UYd-1b?Ey߄0]%o2.dkYwu`xHphq Jw? /Y{8_;|f;HSAjـu5h̠AM  CE,+5vlĸ^+PŲՍÆ;mwjSO6YBfE4Nu !CRX77 Fhd`t^40 (9 %RHyM;b_SXv>ί P؍ RS\hRyVԋej̑bëep)TqTC8f{qz'F%G k[KBw,_}'TcCR_tTD8<0Ϫ>\OY5k?|2$l=K>Ԟ;(UOR 2+٫ c87gTDVvey\kh3LR}:ijf*PD7KMБ3AqV/LeG}\Gq"?0[؈YCSژp)r,Ȭ 3zgYZ7380a9fc6f3854200c21685cfaf2d6cdd231d093273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 a2abe554b024808f20211ba5faa2097c20520e83 b5c8cb141a900f92a694f350b1d3e706c65d61f4  Lp