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 v $ L ]]]ZF:threads=6elapsed=13.102cpu=39.332gc=2.096factor=3.007zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw3yIזt5~n"0ŭKH_*GݹK==ƷW|׵A| I)wh`X_,p4)&3uWS8[&4^NljEBLIxfAi\Ua8"0c9TI] a 2|2/+yﰉCFΑ@+#Lv%[녋3ƶL#\).}EͿ*)SQK# \mm桩y?fɦzW@:/ !}5w;4|BKlۺoa/gYZ7zXZִF! ?]ŗXiɟ 1FE`穱 kP=R`6 ,.',{#ZѢ`j".(~4HGws;mowϷ̒53Cw rg|f'- "QGDouǯan"}p|xV . k-fdPM}-kVizRw.16C$ߙ\ )I1"/E- 5~o-L݄jx$.4'"`MUCCgW,oǘoumnrIp=>Ի1Dgk?"EB|`'$sxTAι$&}.k;IryX#_C=Qc2w\A <٧H4'Tn"K'XhJdtM3p_Oœ&M`Na[0"cem:I`ԕ<o80}ڠcl@t:U|f#ܩQ&/b}ZQ\ngYZ7zXZִF! ?]ŗXi%;pUyraqDa ?z|p`;&i}m:An.5J HᛛYx T-n-4u'k6!qBߥ6n} oK}iOj{[*!D/H ^70{^S,Wi'?7Y[1?!btR1*]ܕCm#&tȁlX:a`-Um '"/nUeէy".no:*#4&aAx khT,]qpbu\څ"DT<>BJ:֠qH>PdB,u6Qm}>Ŋn6/}FCjB܉l\ƀР]r~4Vf@yRu]Jb]ڗ9p8zFt(;Z^D4O#>j\TϵZxkb#z5ψqWupҎ ";p#ڛXV3v5(=sMù0ؒ8 N0?5N!(X38{ Z$~y8>fU1;j1a/y{kN?qW~ րt<r0<*3Ck M-mQ71cf2Rv8x:0)n