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 ,,It< S Real_Impl:threads=2elapsed=69.081cpu=115.580gc=3.840factor=1.677zXZִF! .]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I+I6O$6c>'mf/TkQVzKΪPX&A^ ZҲ?#lr&r?(,D1FNԺ'#wZvڇdu0(Cӽ[f^apU0z#~$i L 2#I!]j=Pٝ=XH=c Κ"Yҋi*&*UjkuJj,wx+io8a*op3 J@F%$@6}1-m8/9%<ϥ ,gS$IKN8;]4g!3tWkɭ#ב,Jdž|BIJ;\-caI KgD-] ,7*G۴"h Ku)@/R-x&^`ow 00“{_bc]22Ϗc3[78IxcB6K2"B<! ][tȉxOpSu+ո7?]|^M}E?erp,c ~D&g:r`ݥs(:(Ҕ3h7{YZK}EM*NyupY8ͩb60gI 'p>$N,$/WݼT$!eݬ DpslȁGA1ym#-VI'-05]sxB}ΝGc?ϵ! &ƣ'5]dXA9;t[`\^Ygi\qu2 ;y/i pd{l%lNQ 'D4QE&8r+<^6!23]p"RӇĝ/~uvVDEg:̸UzxBi6Uf«Vu;=*9^>ݱ+s8yc[ څZ&# =0t]p~pۃs&a17veFd,'`j$zllTSFOcU7]S"v|w:/ ]aO bg!Bͣ$K   Real_Implztu^\Kag$ @2;(Nى'Hܒln^ ՞w@: æ_5?q;l ع58 j8ޡ >Iyx^+>]~B3eh0jҚtG`m;c3glJ03KA^\Ter+fC=s}ԫ;|{m5*Ef,ԮIh(kT CvC+A@X)/R$֬Bn}Qv[#}5LdVҥ$z ^ЈĻǦEӛNYr|xDB=Tmn0Rpa=?qI#7z/[}"*1#uhΦzXeD.O:VꩰYшʐg4`pu&~w4|Ddv)"˦Qp_lE /GCT,[.B93rBzvOdd+{qS~ASΐY1 1j8o1=EGiFH޽O9yi a+$tn9ѷUKбh\şz7)-@ d幻X+ [d#L`UH=mW7k? #z2אfs 2at}k6n0$!7sڷ;N(%/HtE2"ҝ0 㛡Xs2_³w;;`?NI }^j@=ǁ[Cy8鞀=eߴf[x NU~p9-E"N\ 1~6X|Ywצ1x؁ygR MYj)=Wfzx\U MtdGqgKX=ʂ4Rra.wH0ҝjعM9pj11X--'caOGFR1Y vJ"A[0\^ּ>U 1RFn/?!u>|*#GZpXc#0 8X(6x˄R_}?~]Xs˩hb'"?S3HQ5 6x\ƼpۆgZQR;>fW_22Gt5LJB6Rke3&"y X$ʓ<8.;0ҹ`Mc BIHǩd왫%~Ma&H~JF?$$>*G<Ϲ osHY%Y?N&5Ua{I EW`e2WYױkNiS CU@-ro<*hӽ/p"Rx/ VtO:ƅZ!34uF L(Cu 35$ !=gc"I,OK,dF.-6SGPItOEN: HAynRį`77W|qA}J=`e5QtFLuɴGa^bC,˪'"M2fZOD;cA/#$&\jFwF>Ġ_ZU&[Y ėnB}Td8z5uI/r*Pƛ2V7.GbHp%:0thlWH2*AD+3}Q3q0Nd5qR4l  ojg@~͓-k *t)Qvve-apcS蛻A)T88F*E 2JnM%vVә7ee=0ɭv7ڤi#?.r'i΀ɰfg1w_7ϭ J^;/«xpoGʏQdݘ^:!Kf}ȥY'i3x}ҹwP(tR٪WHp7^4D1&\gD?"~@5piEQiNC{X?Xde^RR FH~Z([f{`Jڨ2rAu\]˫:Cc@VΫo&rE/.lNω B&zx9N_d" ^o)Q4s H`%3r/9O#6^=+Milp:l9y!/ºf1 aMi#e8-ڃkz6%OF21hGt֔^<1$2tq*-!:HOU4}$1gړCEkc FMĪH`QQTXoT /^C rkrw!2$ܣnLK5džS]A{Rv:Ƣp, Uh©T~7u5+uZZʩ[l~Bn痦sp|a B<|Pvu2?.~?qϫP(UD3J=OgYZ0b69d8c3f70856201e8c054bc34357b13520292f 0f83e9379368d232af1423c3a9685e6e1cf74f88 15ef148210b86cdf647e94d83b17a757e522eb1c 268e812fffa5c2fd46f0296a94e824c975fbcdaf 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 429952f9b1ab48f5480776e72dd795c832ab4fd6 493f6b95c01e3b8d08b35434bf9e1dbf887b5a6f 4e64acbbeb5a61c6c52e5095251724f54afb6bd2 591f8d0b5c5fa506f7d5752646a537df33575b48 767b848e899bf51172cfcafea6b2fd397e8b0312 78759369f7db0a7b2e1ca4cd148107e261ab15f1 79f31440868c5686b204e83e4f26f92eb8d94f9b 82fce86746f9061205d625fb926c1da3b71e3bc1 97020981c6aabcd5f9a12344194388cc00a68b45 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 a6d881014016ac510413e96c94577bf126ea335f ba3b3a5730257d7f4916bd70913829a914ccdf7a cf0eb34815c10b600e671c786585de3d3713e6fc cf643868576566a93293ed1d9c56e4de0f463ab5 d0721fa2328290669828585095650cb70a632dce eb0a525d24670da3e4d4a161d9b247837fce8ef2 fb4ac87c1f226e57b51cd98aed45cad7a48f7853 ffdf6fda1f24723dfc17567936f72f74e0f46645735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 8caa7a6f71ad672a6f6e983f3a05e1e7c1f17dc0 1e6fe99c5cd0d95e244954268434ef1c2e1bde0d