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 88- |, / FLP:threads=2elapsed=21.672cpu=42.688gc=1.660factor=1.977zXZִF! u]ŗXf1-/6vRZlh[`QA\LA_=c!z|@Qmbhfx  FLPtiK[x,`8j5(MFfY T"*8}rUt=xVo օ.Lu113GW!-8P[s)4F_.yS|P3FD8`& ݘPПupVv-9~bbwx3jU gkEbX+egͅXPRXsBYO@ c&jh hV .f^KDwN`@BIDW~Qε }ɉ=TbBx. I\1uL2&7Vs!=t)jC}_n*s8ǥhVC8 BZ 4ZrXYo{Ԙ_8[|#:`kІwv1F|yfAx43ںMB?j+ȵҋb5d& s0߫O22Ў/ьHdB8_+jkҭ"<3SQQ/1 m>̾5"Ą`{bzwH=%SDgS|rk(;ro*4v=/B}b21Z!;T,bNFq>rfViMN{}}.P6>;+9}XĬ)D/ergʤ;=D:ב1ob";w1AchߠgwųaꞯؙBeX= lmyݙAw NۿF2hmRJPP bȖE (}1ߐXN~9/{C<.AJ8θw ^|ĝc8 Ws#c~fET;-W5_؂ 73V o5B8~ uPMa]x&GhG06k YxcJ}t9,7]k[|GLbVCڅюr;ڿ7 &ZU>Y;*j9M2P҅P`J-_b/j"23*Jr|KBW-ά_] *vKJvʕC)4,I 7& dttp MYO^Si2 zNC [>w/_&1_wj䇚;L^-15TN r4ʏz.V91vPC :4!R[ RPas^2X9&kj 1m& DÓ[KcOY륬8H}IadȒ@PcR-K_@ iލjS6 m_e1^2c8oKcg^!%x|Xe-+p Zt72Y;`}FHN$E$LcspՅI)[Ex5mVeDw6R7 8` @+@?&J^v_A^Rs%+XܠZyOD?[f~cԕHx# +C"\81~N[ \{6ʰFQ| S'~A1*|wWy(C>P8.W`b7kHWă>8fxCw @3_{sYDN>\ 0K:.zLWH|*xyP 5S_9%EРH3ǜv~]v˂L9 OAD+3$\Z)V2N/EKթ=f/K1ӨDJ`Hw[R,dIJV»ҙD][ *)2$)=H; 9;m߁B "o@ f,U_H<,`}#l[P b Q!-ʵQk ٥R&e7xB~3Α5Y 3 NFHs0+am,FU,yI C\% ``d([Q갑ջrrWrbzc.mvl>ڵ/qx@h 2ܠЯ@+ N ngK?2rfY(pO vת>]g"&X=E7pߑBg9&sE?M$dQA$;g^ڍIaÈ5St f8ppǙJ@sS WպB%)Vr5j("|[wŔ ?ҚX &~ seQ+:rHM$!sB0*Uc AM@6 `\fzrkV@jLjhH^C=:ex;f{T$ޅ Jܔ\$u4븽v2gL1hP {j;gYZ7zXZִF! qO]ŗXi%DQ9h&)UEr$7p/()q(nm-Iqǟ6[,~YF]̱wD\MqF },|[ŭy\&M3>3ށi 6R\BWŰtS$@^3.#T`[nŮH8N(G% 2$mJ?bG xC)LB^-F(9՛hߊahab[=]'G&ʙG2\MQ_znDKR.to_dw!P= >ߎ!X?cn73 ,yq} N FP%[IQ:"VgIaT?Pg % rq  Y\+|IȂk?w*jx#f b 2B"ptuqv ==M_B]g4M`x;Ѥu^r[=CZW/z08&b~} =Y*SH O=,k5>;0q>-\g*+Wmq{ Dttaݚ[H_N89NTYiNk{˝2~0: [Zx$65kCceK)iҘKZ|}H{Jqx> GTȍ6LFD>ï Wyi`3H[# < M5K.4G$8€oD06gyArмYd>Jd6muic2t<fT M-vr?/Lc9]FDOJH~=;lOH CϱY nUx[yt4[u &6eo7f]4L(뺝DuZH/NNȔU yU*{bV3MM2Ij'xg!᷆§s_LKгj|Bz<2BFՁ_GTl|\A2LM@X٭؂u@r DUNI'Ƚ{ - Z\Sx\4edg]']7Vd uM 9׫\D3__m1x_vٙ' RiaY+N)Cb >( !TVYgPְC/-j^go|t$gЩ\<5uXĈn ի?O\UC\%Xqړ6i6pKubqRJ@H6N9VP[!\7.׎]m(2bp^ R<mjp!Xljn<}^J).!Z.<"%,WM5X Inևhc5hsh|0.E㜃 =uvBK<7f Ճ8~F9a۵ JV3G*'ډ+:S9D-;à?a(n ̗bttϹz%T5PU