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 [[" $\T ]]]ZF:threads=2elapsed=23.533cpu=37.944gc=2.236factor=1.617zXZִF! , ]ŗXf1-) enȈA"XxBT/'`a^)Fq`{r 6<"1FepV8L/ FJJe_ p֏d鮕AÑ%80+./2[,t&י u杼->AkCͪLP5y `<[gM6`{NB/PKE/ ~>(2e)/* ?\:a+ۆ6 U&Ez: GPN`$Sq &ϝ#z)oT& !@~3u6T  -6`xFiϺL^@fZpWCH*ؙv5!LΥTa1JNqvE~_Cz‍b@9%UWT49+)4M$ɄP |#(:^gYZ7zXZִF! &]ŗXiɟ 1FE`穵;[Ȥo/< s1Cp21~AP\WcqC4.ܮW_@I#S,r `ACw1D)UH _"yP9)dz]oXzd桙v9H 14ՋD?UPcv eЬC+ҾoiZ0Yɺǣx) 8knvtW\N <*)t ^`}GB7Y&ڤm3{Jaկzuhr1Zf0韴D8(ޱ}{Vo5k( 9BAWߏH1c#I[ 尡BxZ]#*QR.F$70+c 0!R2.u2 VB"d~"PH`!>r. "'SO l!UV CYK\N.gea 5IOJgYZ7zXZִF! ]ŗXi%;Ű;rafЖM!A^?_)L-qƒ{BPM*9t:5f@@3,G%'CDb^lRWqe@2B9 W26gXnf:HalZtUƕ''!CE#@κdlΔ\$rŁ ^q>#M,S]&" n3&Y_EAsK7'3\ӫ RRȹ8#^IƳ(ah2tIuu{j0 'M oRwZ7aGG_{*-(ô#qb"Ǘ)FDZcZչ_#MY'hlʻz*̇P)# |C`o 1chKkR 裰8 k;>taNƪWh~|II,lk n s3fS\n~%Ol 5UO4k NངU)d"GvTy}=dȯ1MRv_m=jE" {"wa'_%?)I! }AL,dC#9ZXQdZd`leZQ aF,'rDu[}Kݔ߈aGz]FΚ&oD1' ֛˷0r;kYO뮻Vyk2=ץ-ybML (L\`b#VF#͍:R0 RqHdRi(weGӊcpX!=)B|\։ –?'}`D2]ˆC7/~8@27U,~+q3zwFtK +'V8 ?ؖ |Py` Z:U k vMZ8w" h)U#!;=FvB/>Q^^hN3}ϼJ6Fa|G ,9N8g"H=ɆO7 .ZrM@(kT͇~@L4ڑJ˕j Sm*Pp#bQd &XdǟXJ(Z_m 6&wNlqS`R8 :YGdž+ $eD.;}ڱցN^) 4}A.wIa+-WMZ!2 ǩXpUSNBgƢhGlgTRϒ$oZ؇n l~L {Uk{I;ou/1USE_,ya{.CfP=^Bi#P,k7"1%ǰ<ӎ)y%/r5(x7J?q(){Yȹ&nq[-Vu"G](?,(5tz 3)hgYZ38057a1194fb4377aa95ebcfc84b1ae4f95fcc67daf53072a7b7da07dacaeec0891eaa6642c159c20962f20dd1ec52664b8cf934a0792d5b8c764918  ZF