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  3 3B-tL< ]% AutoFocus-Stream:threads=2elapsed=58.248cpu=102.824gc=2.020factor=1.777zXZִF! Q]ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)hVŽ&8TIJ %miIGJ}cHYϋ̪"}(q[02'Ps935]3Zn5A5wNOw/VJei,4&qײ (1Qg@jM^<-1! .a@|}P9wWPæX/$EZ>q%csS^Wx"Б4;yab|O=@X&*җz< PLacJ<-1dn&h+0c+yJg=r]x9R{ѣx ,Zb4B`-\%|gU_b4i|I,`X ,Ydx = \Tq\8pHФGHչbЙU,79>8nܸ V(Lٵ"ןiQFKM8}ՙ>8 NQW5هb3,N1\QdeEO푙" |֓ RɆcǎ_%􆢏86lUZ4 ȏ[Բ `xNIϯf*$uFo +BU07!;ERwX?P((sn,PXe ;1 [je" R]&-†AٴIQaΉ6am(/_Ka]Rr*(s󥋋չuO Lt{y ݛk3Ԛ Vglگ iLz>KQnT%1$yҤOa[ڕ - AutoFocus-Stream@1^l˿*j)bWqm=TՂ KDX[9Y2љ~$7VA?U8L"q]b_2]?KdBYjQYHo w-!-P$k'3QqpH)ЏYM|=V}Q6 &~'.SCªԳe$&}m<(0'M65ej_9Igi<EMZ|W~hlK0Yg{QΕ*qX*Rk: TU۶*8Epůy_Y1NALo<7c2N辎S9}_xU ڦe-xKP 4ZS$?0>VSHb[x]it"Yf̔B.-,Ok:20_G5_敝M5L!CBϼJd3Tr)C3BJW e 0 &nGH 7^0cpNMJ*KN-&+*FW['l&Ӕ47_"M\6,~n4*Io }>)4 f z|:I1|M.I4\X;f"yJVHR'dZG (R#XަA!i?7=}ƻ."-g'T*pt#Fzÿ/IsJwtZ)-\#aE<5Q43A(! ^R._@n8u-'m)SB` Sքm?AP߆QfڡO"8 ;`u6Ժ?@4/}Ws E=0dٙʺ= # s ӥzX6)*O맆YQh6h!;|Z y3W02Ej8uaG :(lj޸x$P4`Ϭ\ |ȩ2Ҟf ).hfacq$f8ar)ZLM.gK)]v7vB&{Q*Eʙ/IsRͤ"M~2SN0ZYk?UÜ4JF-%0\%.RowCȜLv hx!&|]52qݚ>YB1QE>sFE̳bCρyS$ R$چdwC(:<:Y9_Ut[&3W]±h~+J`Ď/abAcڑ{$D:~Vpvbܕ@9+%%<&iD(A, (NިPO<ȻU| *sk=.L )Mm3ZEub׫ʮ?:}mvR / Zzwj4Dֺ#PC\&dGSoM齍Iӕyf5Aa%3G@k} V%D[dPB:]&\xrDI*-=B2p>hʏZ,$~`W1TJ=T' }^5 2JO }; s4ЗЛ%nj*Nsܐnt=jQ#ɗ]Ni%n12lHd*JNx4 OU O-2Fz^*-"4(KC+ 2-ff, s WT9vPo+xuaCO~ѽɡ(;[)3p$q`u/^a+OS=GPc9]=s札v!SlZ^+ 3 qM\]&9\$Kz时zЖ!r:8^K 4abetN{%&zXvT[xyC6^$˵=?g('Ka[tS-6Oj4z_ز[ LbiebbB~$VX* x86(<>κG_ed:2O<8|?gUJ-n:T} #aIX gl`x˶=B/&r蹥~z/& #ԵaWnL\XF3yqZ<`&]m`u;鹙kv zS@B_dc*#d:h-T _4%E 0@ ^Nl<u<Ўq:䦺kC0S&>rJt ytZx1?⼘edZ;ݬfG䱐Y