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  w! $l ]%]Launchbury:threads=2elapsed=45.020cpu=87.156gc=3.100factor=1.947zXZִF! &<]ŗXf1-/6vRZd*^6UaNntIBu8u ӣ6)255hIt{;chs &nHՒWmVQ~$o7/ g lwxROO]Eu,io4;.kB0M"Y=躻mA8χ?ոZǏ{]9ڤٛzbV+zE-} 0TD'[<8$*fBD0Ril<[KUas [<͗t"Y4l II wg^{х;Wex. WhS!^;hHݜ,v$TGtt>MD 8܃rxko }x&ihN:ԐʧmKRI$M<&̔ǣh.7tq_5X&wx*0ڳiGN|c m1Ж> 5 r1@X$yS'PX "1_3+}SC.Q˪dg՛)wvBOBxD= 8:%~;F( g`/ dTwяfm"7<`ޜpcP oQɇ7mnKK`F,-v];įcu{Oi?j[PPI++2b(7TF86]C氍9^@>  ! Launchburyݪ;= .!BTry`GcjP9"xO;6 +cu0:}=>/rnK;r"FU##Pٓ0q&9n}ņϞ>{"s0 X:CJ`T;r- /;c!( !YSW'^hEl$evQ*+. %`'u*W44O%78iе(O#m\ք ;O Lu\gYZ7zXZִF! ]ŗXiɟkLPW 8[@+e?+߮_"tc$ksdzxڮ\^tL PE#)yÓB~t-H,y*5=ը=p̷s)r{O9ڊ&?\Q W%'b_l4.[D?2M'sرnF H) +’|$PgYZ7zXZִF! ]ŗXi%6Ssa!-*3sYʅC׾LnpPp'ˆߨHK` [qhA{]h6arm@V&HoFUR=+:CՐ&3*fX(,&*٫U-Yt:5Bu$vZ,)3>z\zC_[^~߿ό:SM;&YNa+-, %n=O,=zfnDL쏾J0;* ))4hDP5/H T:3d&8h787\Wvj `̝R@ T *w KM/_ޗ.j|ءzPyp^~ xr@I0T+; /@A2ЙzSxVG4HgnMbB. |x},B]s܃}/2qm"É*tOڵ8Q=>%@\骊tlu֏xC^))9FΘҴb8[5Lj VYHHU8@DWlt'H4V [5cЉŨVLQ t]azE|-x8C5O᱆WBZj\HBԠd0vN:z?4@nm!^+1= 5~'V+QdWҼG# \`&iޟSmn8E7c! -ɋP8{_]9%lؕRfU¿Lڿ+N8qZQi13Ιv}L qOPJnJV({XxcPmO]Q"2;ݜ*4`w!;aWG*y;[f`Qu>d(.ayE),"tmQdwpGv$Rkox]\[#[s2z Xlu^1EŬW_@VH JU ,U@#عR!9!X̀M/1t/:M+PhW kҋp ,V"Q+iV* X5\k"2!tx2fl؝W&nsCȈuM-!5x@Sl!9s'VބA6@4| SX.lj /+hp /K9o8'Ew AZ+v]˿'wrR Gva2hrH߾i/U=<([TzDjz gYZc7faac6e3f5cbf25e3249e6fe0835e1e3945d1fde70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f 02662119c424e3030c6017a821a6c2b6c050602b 89d8c9531de4630f6a068be987c126a5b5fb3c1045b3d4bed92ea0219b33b7dd76f3a99ee5531b9f