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 3/ \$ ]HOLCF-HOL-Library:threads=2elapsed=15.862cpu=30.668gc=1.400factor=1.937zXZ / HOLCF-HOL-LibraryִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-ItEQ1";Q` 6Q^,K[ABܴmXG>~t^*o9g"1PXò=#vX;ҥ,8 -Z_\ejP q_2?|~GTPK; qbnx,ZZy}WE*sc=4iGM|Ds) P8ۯC=],މh`@͖XHeC bƯ/vl FgKEh{헳v*,eK(\g'k|“.k׋#N@ ,vHIBF9Odc=44+MGeK41Qn<5/Q]]OJ劘c~~Z| 5 w1-6!ay)|xaӑ󞅯iοx@x(]Ʌ}o 7ݣah:SLGly t'JoN.Hh3^w㘁i)rئ4vA$/{ ΑZﰀؓCB,n'&RN+c$G%KW!o'_b@^!Nfa׺upU7Xyc#߫d6foB*>R*o,YY>_epͳty1Ɇ.Q}<$@~Z,#}ČSiy ~&:˜8ADc!K/eMk&!xRq]}ʎspONLKrYT3>0C{&6a{FoꟅMKT(SiV 77t0=]˦fvI;Fφ<1}0Xz_ [t*^|!`'dbW9cɔ1V.)%Y (! )DNw2Z(,{yS1a +wa~HܵXolDzߐ@0:m`<~hg*{[<,z~bt1}^k &Fb,Uhvr*7SLq1mAT atL:$הd j_=$kOhO}?WzV't;ԃpzZ5] `'"I67Γ_G6B,Aቔ]z{n9OxǬb$ })UQd]BD ?y{w=_Zy䘡 BΝG־t(>qԃ@GM:> x֐B'nLݖ۪W P!j\6:,a/۰B?cdS-@c'~auhXc?VZG%cޮhxu5da@Z̰p$I|}EÇ1:KCF(ԹΌ6žF4Aa9MfzX-T_В}t 8;SYpo^&\8aMB0=t>`.+>/h )|Vt]N0LxAl"_J<݈0A=K= 7fm D ,PϛS:O0i K07ga(ZW9i iq^K=XSjI18yWXX;> 7((uv~^ {7բe0L%)'E{V 5vS q0$RP Yrw_t5Q ya:PjC˓Nƿ-ըk]eA}Si outvְE},>GP"axG)`%N|ƻ_hVgP3aĢy?׼Nvo*޴7-">k;12ʁG~en+ Va\`843AajfPL3}+m*>Գ 7=pOsN9 nF7KD (.̍1h}F"mo6y2dRmt?L$1#QT Y{uL3/WU+N|.YgYZ7zXZִF! K=]ŗXi%Vh_TkbJ^UD wZtʆ}%Kc}J⪪}1MLdmuoGyV!A8^SGW@ jņ#Tͭκ, t|=E봋4RaFXOIh+͙ d8*EÉ9{CPu@*F.ƨ$A$˥iV<ƺ:uJ6B1è>qwwE-  %J =6 'zB:N^uX2~Bqx*!Y鑔p*NTGI^ #y8 k 9d΁z\fZ1mH @\'ͤ/_Q˴-$m^ ^8@pzqõ*{HQڈQp9ZmΠq!!}^ܸ@_-M001u~t*ҕBdiFWi?gHb|R7i~ZXq;C Bߺ&E泝 >HJ@q;ۦ?V0lLV!Nb!N~X`z]k답GUk)F5?TNY"u^D1Cxa /ѣ;O4s :Eaq