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 j+ L w LightweightJava:threads=2elapsed=51.219cpu=78.604gc=3.260factor=1.537zXZִF! H{]ŗXf1-/6vRZlpH8;_SuƖ`BE~IYJ1x(xd aCAAVѼLm(cVLe^ۖXGW;<G::*|U~@4Bd$i]lE)r)ӫ)-v"SB?ɂ=[9LJA"Ogj{QNHxD /Mu8 =\TwTiԝ]l_8gkd*R tc$IƆdCber3!;.c#HcGs,5(@d^ v# + LightweightJava6^q۞k;8uא}|شlVVD\v(/YA ;~1_|қ4:qU9N1.fjzRYOلƓΤ4%CFpgG:>b7~`Id2𰋿"s\}N%?=wSHcHw%InGĿ(i9nPh@Z3 )(jZ(6N7FJitrc`#@dp~W5Ho5SS:)`@h/x$D/#l=],;YLChM s1חz=lI ]_o9a7i,Ke7aAT_9E:"%ї;ҫ{܉v:ee(EA/'h.ɰUJ=ϖbLrp+,v[BdblhF8Y=K4 ΟPꭋe jl)}: .@"1$XQz.= ̣@T PEG*7r*J_zi3?-?w)j? m;ZRr9>_$Qw[1^-i޻J21g9GCR6=f.$i%mmNVv-rȺKSܡ2x絩q$z2󙂼B:9orq.~DTnFS,~}F Vg~mgYZ7zXZִF! } ]ŗXi%6_W/k{S̫&+?1>71CctC\yYBoA09|aN$J$1z6Ih ]˧lF2:< '!%IȲ\hgJۏU3{1Ս2 V}vT?ULuݻ1flIhPЊW P3ewmGg0kk'g7Iʈ Nj|47F AkWs,'~Ѭ㇛RoQRւo+rBX)Xb: +cNv\s-Q 'q!|Myak2yj $*(6޷ ݊˭hen5q( eRu@#zT z۪+fDRyX?ҺH{jUN|}%Peh`pm_CtR%udS5tg ү+ m^^};˚;)CH"H{ ˞;2ԗݡd [cCJp uHU򽀽'W-+UqX"y1L=מം0Fx +!d寘0a,=-2a9C*N4μm@}a/6O=vf{/IMcXK@ePnAlaE'W0MT+A-01ml[/y'XMB`˄..ZYiӇ́g#]&sj^iHl_2 j( A(!KV續z/( ߃pk(ȇ :6',l0\2Z1?EGv$5dֳ~q#.W*͏fkE&mab2JJvrI@iiz4!ੁ;2wvF&9"keK /$ h&:^X*AR+> oGbB Q5&ZdzW[tF]PjB}̾c$# ,TERh'$Q,.(ؑ[,sp>@W0sU9VOIwD.{ q@E%,#\U* T&̬*RBY NcOn+ 'Y-ЇȤK[m:@ۻ4mb֩׋:р [Xj&["hU0@JיZtӗ+#R=8g?/R -xibz@kJ*4vGⶫ4h%@`CrQѮ|M1qtm!lڏ<%B,tDQU> }(*1w58 !| 7NIuG'!(F֭l\x|)]HAidoc=@^]^u ;s9r\4-F&WetvPZol`]:H[jF%\;?֧77Os6ާ 2nex$W~J1TR/`34iC9 bMT}>;(}fqB$CuQ/:D|KlǷvdgF9({3gYZ311916cabc672824fbd18f36a74a9f62a6ae4fa1 721a87149a2cab64131b95157bb7352c8850ebd4 90d4b67aa28e20a56ac79a9eabe61bba293376fa 9cfab51a1f87d0d39dc1dd8a34686d11b2595af8 cd8ce952ac5c4717ff6ff8d6b03d81301aefce67 f4ae0fae7893f7947d754f24e1ee90bd24a07f3ee4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb d8625272701e7304f76db642b7fb0e61f9b07c0f