SQLite format 3@ - llB77#tableisabelle_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, "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) t m/ Pop_Refinement:threads=2elapsed=12.634cpu=19.692gc=0.892factor=1.567zXZִF! <]ŗXf1-/6vR[2y6ܫ: AJQtfMuG&[ ]][r;>\/<}OQkǢHXK|EzF&Q; g+Vu iu"K|&+A<kp٦\΢x/b|oА>Jf-&^b7u{4RskC6QuG6}29 yS\@޹{HNMrԈl1¡Dkiw҅B*ys}4[;gIq'nXQ+&g-uGպ-XeAG/>YX4%^hhcPgUfd.U5 Cc|,5TIKw 80Xbʫ黵1^z$bʗTc݌D7[I3!A:)A#q:r~cKdyEY! F = ) Pop_RefinementԉQ,LkSp̴OqjNA@Q$AG|q\K9+_ lYڽ^_pC&?UL5 /{>?,VuRv9o(S~:@=PamE~d[4׸Ʈ9BikۭM( s!{e[ŁJ$z[/g@=v:HFJ19W$U RY{ޞϝsr_nGKFStP\-*Gamƃ9hHFi\;b.?p{_ޞ#k 屫.ID5Csɬwt"?`'2M_}e\uZ7x؞I:S3mi'9ai?q,@S\(T,N]L`]bA7u8L&K 0I*xlDȀع$cT[~W>ƎHYЮAee|B ygYZ7zXZִF! Fb]ŗXi%HﯡEBZ>@•>,fkvpV9]zFR7]s" W#7?rq5fs|!_ټw/8@՚ $G!eiROδ a^Kעi:/rIN'L-gz|y,)Jj'xXfg?ʹڏT.ۥ1)o,#7ziܜK9WoG]g8K~Ąh[S89t#|svY"I@-UkQa-L( +1ܱFgG9!;vPBMYHG\p > UⓋ~ p<{knN`%!/8wɒQC\9[g"cPH?8VCieTxc66൐HqL݃EP/Y0Lf`n*HLz^0Wq̹9u\BX.=F~$aK @QXRp1Յ >&ylۚGT Etrnbp:vTJbQW%G5،)bGKq }+Mh`w8+hpG;1[#WTW&k;x!L-s`b&"Ij^ $e7r;^]i w; r!Ѫ>0 6YDa],ӐW<Ҿ"v*˥{A8w[ !X]'N1&DJx&gn|)f 3Z Zi8nMWRr KEo$ B& CeQi