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  n n/<4 ]/ HOL-Proofs-Lambda:threads=6elapsed=121.579cpu=147.728gc=5.480factor=1.227zXZִF! 0]ŗXf1-q恈ܗ4ޤ9ks}JspSm[ wy]{Ia?c@%pOr/-4(5)`95Thw ?KAb^SΨAFdoGmQA &PmʳGJ-X+dnS]=ܺDq9fusɾՍ`a` (׽v22䕺\ :GnCQ 6ЊT /B>җ, FgYZ7zXZִF! <S]ŗXi%6ņ+;Ü~F!ukI6<{.6ͪ}l,MAQ)?CO'k9-drx8Jϩp?ȗO]_96iJU<;Ȭi tB'6gY  Ef8*5L;@ݏƥ 8I"FP(++AoUs ?HM@ y'2 (Wl)󅎄(U;b4N}],S㝨txWST 'YgtaړϒwYy⩩Iʧ.kd,U@Bh"3&+{l׺-R_ )]ɞ*L`&A:mP*"EAp5@2ԳtW-MK |$p, 8 {(&fBI/zq쒳'ڸ|ucprCގGuT)†|OEX/z dQoIG}+u֧(o50hg*)K۴v sGvF.yWd.}XQZ""Щ}@914s'&cR7@.qW<4.[V3oGi9iU^rIQ>b vMgp>ucGM1ɺ޹e I)V)J>=T+H"еHJ))^{/U^d]n[h߲)WsO*48d.;WkEsM1}i 9#?%j/1^4U6ةiS{ HW8{ p(eرEi 7AH}CUS1< 11`FÜ_Hj5$.LU0,rJ`BS2<FEfTXVMOw l%0M`Be=뭲6 .1S%*-kt5kK4%ꍌߪҍLjWD9AԄvRǨf1՛,6nbSخ2Ux厞: Ҡk*h(lKREg o"Vczl7]@DV{mx^,٣w4UeA58Si,T>L٧rjY6_MIKuj[4Z-\5Nj)TѬh|큉IhO7v-_!I+-9L2͋)R/ =CD]UFէ}e >(t:B2Dc;K? nS=3ס똒4,=Gu6Cf γwQw7% =Dm;8{>}2f:L?(¾W ^f&z!\:|MWHKnv8iJJ+sfh!x=oD.2\OBu:IzDǷZ$`;R֌/zOM_Kl3EDodN%'W? ) k_bY  %\vIwj!2N(a_o[Lz.0,DEm9ב7(~M4T*֟g\*؇ʗuJ|Nl-@5H零9ڢcy?@hn,hfo1Ǥo{0m:Q CQ jC\nNPzL9i=?~{ehV`a.Lbyw\$ϒNѳI9|[7(GFe #V"f3DeX>nv[Q03U{ ŹEcWjヨ2q0aleu{yJ:$^P3,7*Le%18U[GU]#)g 3xt Mq#!SxޝX^a!R6+(,MXiN +e-O)tjhL'3fKEMރ`G[E;?^\DV-ED`eM̹ߦAb0m emlF}>*|^_WzSosA*3=KΆ%~c'ŀus} qr%h{ K68te wy1V[й؅pwjG[1 e_5F6 5~VwYPG@׍j ?r C6Z'|M¯R_,gDC97KuiRm̖9{B{;N@ [(- :3$0n l*x1OwP]%N9 T:y)RP=w0)e t xy m[X,ĤZi8pjmH] tg +kغLXҫ(΋ډmQJU<*X ;pջ̣Aȍ1(b0B"u6@6how^1xB9p17!|`.뀄nIRN5*i}qR9돨l6^ &?Y@ ՘[(4\#%yl&K@ үy-n}/GakO)rARjcDO'2?<+`؉"V"l 01j UJ!U|اB!=B^ R. n hCc0eY)}\ wݯųp;lw/lsjE\FnDl $yJځӔB%֭cA JhnŅ?j࿃hwcLX Ŀ 2٥%[ϳIJlވ-V6ES—t/F@\sx%1=ǶjaL,H=rhzٺCw%9\&3-ME 1K93%bd_ɆNNk[D86t"W-)Xݿ0B3]P".N~|/apJ /_* z'6ƖTkq>20/1S z>ET -yKƊqeIN(##{8q4Pś(xC\FEk=2PoMk@Tkb-RK:0WR=u0O-;I/0/Q|U5NS\8u#JOhZad]W޴f?7A*F: ̍3-&oɕ{o:vM42y0DfpY77;VNΘ&- >*ς}8JLN-wR=Bn5 $Mr8"+09hyQJ~ceʖA5 *' 喺%h*Ft uu#u`8P-!%?2HEC8fl;4hG&