SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 a%Tt w TortoiseHare:threads=2elapsed=6.727cpu=9.892gc=0.244factor=1.477zXZִF! ]ŗXf1-/6vR[kG+j'bf{9lfLXl#ьZ|VP z5G s,g\z4;T#ٿbH6$i&{ T\*61k㒗K%GsZIlPU<<$dTA[d'Kj\C6[nf H I@-:,\۞B+DD-橼Pdqvj^SgͨSwV\Ed0ҥtwu(+KqdS 'Yϊ$Kmkg)ͮuL5<)d9-ޒ rI%)<QLfZKtq7 |OO4&t@Y4s!ɻjO= Vhdib wgPN{1ˉˉ_hh<{,dub!W"D`"j7A(!QsP7K\3-aWI`Yh_hܒKQH}.༬k48bͻ-L.n}kVhT-1G#-5?|$7i+7FwMhȏC.n(b5=533[HvG>H&VzفȮNkҔٿDgiUy.fo=jggYZ7zXZִF! * 1]ŗXi% 5vpFlB;LOpnc&P6i3{vNԉ&@z5؀`n&R%1\_⼏w l 6exݢՄl-)9V@GM:g m>oL9[K#'LNQKˆ=ɿu䃚@/طޒ[3/&XA< +Iq%<,c"tnz\^;E{#b9bJo#G\*!N'7˙ %IqnVh%`]ae>[VsyJíN*=d 8y`G@nb|,yG3@S*if]#"fH5 y]@ٖfq"i"cyp}.G.,V_fΔ1 4u^S.avvA 8<]T?5J964O8;f3T=8q q'nR_\׍T$?Q/gFP6MӸ% 5zv2qW8%Mq&(1xI:fZF_|dEcgxE02eV*r8U!kVqp>;>CB$J `eԬ5qČkN=y x9TP6= j^ֈ7@ØDuy{yTgYZ059b39b3c71e408ea02474875982517bfad13772 0b9cf525ecdc35de6ad40e0c86797868b5ccc5ad 42400f19e8830f3eb7eef1e599b0298d3a617449 8b68cf377068d359bb682e8177940c0d05e33582 e6620216318191273215b663199973260548bbd2 fec8b66b788018618e3c3d8415bb381ba89fb0089711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef % TortoiseHare