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 ! |, ] Splay_Tree:threads=2elapsed=78.968cpu=96.956gc=1.432factor=1.237zXZִF! G]ŗXf1-q恈%kV^M[-U xNo[q;O^.%#6W6{_;ۿF`)eIIzy,];JMxr$rʚa=?/zо_RVVARׁ:Hyb|( RWMB^&? ;` )'V}Wb'GULD,h|4.3Vs x͏Lz̳?*Fy(HsRL1!`Tjb\uz DTPøPo櫈fж2ߔ A Qg̲9G9#QJMcJhS9XP  ! Splay_Tree/60u@t/PBغ2MBy;0Ẽq ɘBզA侣G_/B,sTzʵr(̯t7ee@aYޒIGAf'HjNXHpHY% x)V4(›@A$E[3g F4u|qTm͕W[|` Lgӡ e drl=Ƅ$.-?xэ~e9i+6i601O5VH&H&%`['#e|ۖ΁p_.0UgYZ7zXZִF! { N]ŗXi%61ki0ͦ1VrX]5F5s2ʐ:T5 VMB,o. 'Ps6]NjDRrlP>}̑ 8iˑt4  `ڳqX<9h6zH}t2t}Sc0' ajkNEփ@nM}VH|-^PW_=ZhOh%XHڰ}ĽĩؒIK⼜[ j:Eu[# Y"0<ЂF *?G=t (`?- r㑞KPw9aڼԸǠ-)? (cVݜE( #A+EH)|rt貿]wm{7XMREu)\7Wy}cKkVf*2(!a99B2]@?SbMh:m.M˼UpԄΟ%VDh^3Wf?.qY ؃"E;W$Cp0'wlcUrDlo{pmx]:Jׁ:')Yc̎'54v,mc/EOhh̞k1mt}@ +s4HhH75uAAdC]ќ -Vn(JG":b, .6ju04AX[}_LU= ]Uy#~>>NMGGNlNՈ-Җ4e * K_9wU}1b=Ir(ZrjǬ?}s7Lcw?ϮbX9ƟM=Ghᲈomu \Rhjٸ}FAtdMYѰhr` -6e8Q=( Q8k`V$seOv8+C Adcf^;Ky|SyE'J޹sG$=lMI.U4b;T*K(A/c24DƮ脀bvc'pJ6%_ }I Ea@ֈ!O0CNpP:].+V>YgC2w|`=mhKɅ ?h@Ȉm9gǖ;@)ޫHm-)5@ 3a wG}o;#'"C pobW(.K l=5ծ .Q䦴Pl=ZqM#&|6Tquv~VJ`>!:2Py.O67I T3bf%;]I׿QPtol]C8s=c¡M7W2= fdsNV;!Q 5QDmbye1FW^qhyQ{h-̦4_EwJgt\] ;huYmQ0QulCɸHut^ G7鴈⬺M 1LyXurO W+Cd=X}1Jr8(ᴅ_FCt6{r/j[L(B h%+UzC6 "xfmpe4X@\h-)~Y=Ǿߤ,JDrNWJNlo%iRol=w_vpl—x t#_@yp^LJRr @O#C.m{ϻ) fi=[F^sC!rlEMmd Nr")Gqɵwqd[8kE1T')u(]첣瞷do쯝1};@37@}6)ۛrf{ƅ<3) ݤ Gܱ%|_ap*1252u'Nw8[k\ucxHx"9#4:^xY7ܢfOSҏMLXkgYN8qtVPA\I4M!PZU`FjbQI wB׃$,lsL b"Q=#+ G