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 _ 4 s/]HOL-Word:threads=2elapsed=27.595cpu=53.988gc=2.332factor=1.967zXZִF! ]ŗXf1-q恈eO/O4Eh~$&} _re_V,K SLe\Ol)?$/AVxl h#qhN]!^k   HOL-Wordq6a9J- z~8s.@Na)_TM6\ mP'"* gqY[O[:?xuy  2Z٘[;lMTiҭyZ壈Q d?lS251mJ)#xB< 3]^rH $<<'aZ`։Q %zJV MX_?-xTȾmxlrA;{ڰ] m;[\WĦƑ6CR\ÞWv`G=#c|]c}&90eLGd>1"پ!W{=i*sn(1I :5_ߍ Ά.vFMV[y4nҩ.Za(Qlrr@>-y;rS!)BC)ߚ(PZdHrWegXN &^v.Ϗ=?E<|9DiOxWY\!:Ӟ+#]E}R:#C3CKQ ?82|ZbTI{氩R#HcE6tCyo ~:ϒ=&sj ez-V,KrGUFcyB%NY៻00w"@vOU_\cjDכͿc&H lVFه>k!)( ޥOANTt5Ƶ7QFLmmv]iIĠ&I<22|!Ų=Bԙ|DyLscd)%32eǦZp nX!v \LۖrOGQ_H>Stݣ-~ffM8((f&nhUUkVRڽ" qE U QȾEh~?fQgOjiԚޜ}+ǵє@9+TnEVQC'̶ =GJ"c֭;p(dAIl%Ɋ`gQT5 t;,2낡};l\6a4/اN-nu,%#@?,w#if^p󹑖#V>cWu.q2&;iY|ZEcbfթ}QøOI1@/.]\`Vok,JJ:k:v6es5jjV&xA㮛V(-ŶM!$Ԁ;z6M`Tdr__.JKrbӛSPD2hKdR,?&o k ~A[g0Z9 yhh{*js[ yǗZk]tc rib!5^HY6IkM(fB: WQRvo^-L&=^hђ 뚳r :t;=fT@z 4sYHKzv !ȳo鮧w%d~G1_r 4ΞyL*I>%HiDB{Yh[gR.j`sj<*>"wAϩRO/IK8i*#3[PDWZuۗAe|3."ci]M r, 앢bsEx`# R0 B}BSﱘ|1Y"go{ 7~PЙ Sqj$.Kp/&E;n ^pT,~"KX N͢KUQ:OG?}\Ӟ/}oHrY/%ۢŴ;[4S. &UXKM|0'VKb3>>nɥn^C4L`8N8oqWjXF!X:C?_xiOs|+C6:vMadm@ĆLZ˴9F '"8x@S55)U2qB=/^MUodΉDG&6J{8t@YXJ'B_өw_wMp{GundMBix:W]CkHob8:چh®` __KRTI1P(k,T@pz!6Kk@ً<-#])RgQ&u e^vF *߯~dH _No^iO S7Hm1k\,שM,eӦ~Mx:i&h0H&B^a% yI[(TQS/AY9JS~ᲦUmq|$^͂ OJ %=l X\FM ?|WZBx:9ė' ?{l6[i]ƖF#mf$>rMO<9BKo?$4;'~4~. |(eYhh4e 1>*\τIcU0x$m$whVa|Z-CDWYU{\|`5xufvvgѣj kYyĬi%:/W#A2 8;J=1(mO `}G,Ƅk`Tbn M[= FS39`>,Y#d^YYaTc J d.d(uv]>Dshزn;q?7j*2gYZ7zXZִF! T]ŗXi%3Lcgj [ k#G8j ɭi?7Rkhhz|#^H$w M*`dtY0PD(w=}@? qcRI!!XE6i5nvO\,%9vbt.I!lQ^`Ssz@⪽r{& [C#ʹHuoV"}W[Cr:1⺾NLELLD]8dh!"wcFahٖ8=x0ăr!߅6?#ک>{IUxuM0:ʬ);*,JY8o؇8@SH$Qd^AoHUVP 57,'",<ÏE,Y:gCL:LpR?I/Vѥ<0SN B ^R t4k} l ^m∨FNR+bt?& @C$o`(ʊ\? kHHV ]k\L5pOu^ hѣY1Enܤ3jm!m~4>zq;2C#0yvkwHrW-zزoDM]|&IwRE ^CG2Sz_mv@~1 )=כzb ~wHep֘ArL9oeS"*U nG87!(6wSȞA~|DxR>Lso=Յpw=1nԴvڣɱgYZ0bd5fca3e2a3cfd19d556a3f51c937d34f3464a1 139a3bc21788cf355fad3f6f2baa96ef139efef0 2b78c98510a8ccab9b37ec93f256b14aa15c6336 34d5357a1614100e4522bb9f8371a889135c0e1a 3fa0150ed58e22b0591fec277459309fbbcba97c 4cee7a4a8ff3a6a412156b24cb39563781feeea5 50973dbc7872bfcbe0e1d5d694168f55d2a8de1d 54bc02edd20109ec5df1f897881ac82269c23e46 6d48416bf9d246d3092fbb069560cf5f9ea020a4 73312d1f5683eed2f4e164177e17eae847b56d58 81f0c577e8c493e332fb1f21610088ca535dd807 8ebd2a5a70614ce4e9229427fb522b89f8c795be 98e56112c94ef1e4b2b588c91ee96072cbda4b3d a47109356e1f0d349f2a2777a5a6f25f3d257dd8 da16c92bb01abe57fbde29836cfa54e95db0bd06 db4f6314dd91199e1c763a85a44c260d29235bb4 dd12fbcc31a0b736edb5bdb2a77f705421a3f9b9 e1017a35dbe3ac17604b11f56a6cc9a3d1a8a5f0 e755221ea7028ed63714be914d72b697f6474dcd fde422d1a14a558aa55d7291242cc3465fce467ed38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a57f0952ac7fec10958e2fa703e156c54c828af00b