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 |+ < !%]Simple_Firewall:threads=2elapsed=36.346cpu=69.492gc=3.076factor=1.917zXZִF! ]ŗXf1-/6vR[]~~;S0ɞ{]lk'?pD ؀2X/]XJ~jW?^:*$S"?YAq9[5m_TSu+-)`O&#!P bC'ݧUڕQr7`^ A0v/6>hrkeڮTk%Rt1_mZ3d l 9GX) Χm{a`NT(1l7E3:OH~IFjT1)̹YS}0L4 pZmpxS46|Nccbsk v..ԱlFkķi$L~fi+v,8 .Aۃ*06 + Simple_FirewalluWrgˏ=ύ#1q Jor$,adŵ|*'"͋!TX?gfDTgB|؀D }~pm4{n>Wr$d*' Tţ&ĵq #ƊVצYȿ#j8ڛpU>$߽k$<דAp ^Lߣ|<Ѩ@{=0$ގcdC(=c%pMXY(_m:!}ވ"IEʔoI_SjY07~8/'<@GE8ehGDֱUau<@VCl<6%qW @։'dײwq& ll5 3;Ɓ,WS,*3lw;z⭲@zlэ/uokBB6VK@ f]8AHml)!c)lq#̃)(V),1Nu*2z%Kj3#fT:dۈ K:LΡuPڭH/xޑ*~`R2Bq?8:t-vIs2q éеvc[LL.Y =2*E[ p#8agcHmƤMO|HΕYEʍ )WMؘ_)c] =XRvt9T.iFo?2}m~GXzˉ,&(=+2 +7g7X[Hg# Q2RێZ'ET,.hxz͕w0įaܟ^jN&|$`V1^\1B$bU b8ݢ9[гa?;Պ+,Z#:,Ni!bì()\0*6xXDGbB _NfXYs:go\̃΃O9cKEbxbpUw1r h_}WAhb`+eZnW7)so#M>Cnv>TW NӾ|/ϱj❤#j2Pvꡰ>$?. j sv}maZ(a*OB*t`hR36`؍H+IʢMu ˈΛT Gecc~r&2'vy Q]X@rZ5Hj{DC*);0@lRnCҚ̤iOWLKa.+sR1Hė#/$|Ys?ugbP}*v+Y6VNn:\٪m`iӦC\bU[1ժ 7= 1JE\^8p=}19[܋0^Tڙ+[StҴ^HifOr$o/o<A~M&}ːI;h P&WEȈ$[t`ۄ*V؈ĹbgYZ7zXZִF! ༑ U]ŗXi%DQ72 A0_sO[xbQ8% S{3u`"+6Ւc]k R]S}x8wnU?Tp T nߦYԃbh )-[څ0Hm4ɬFK92.JmcܰV7;\5VbliSat;Ӓ:* otwCu{Qu -bQ4lx93Q!+yk@W*& PxT{W/}8>dhE|d{+]04y5qrWYAmq݅e=[xvjy,hl%-?B/~FJC 37N/N^ !ܴ(GG2\hxɝoԻfQL *=\Jw8nBqh[X½`͍UyIwk5X l-CDdrkOy.nhip+JCU'R qd/u$9-t j?΃ Tط_a\|^!~m!d7h $*Ig@&>v1]:[8d } v^ZqEV{5Aq7%p<4k?Ȓ CL1Bæ$3>d'je6LjdEF~Glq.M\tIV'{kN=-&rybTk㨢؎RuǹSm+0*"ҹp{nm,S Hiڦã yӵx<0?NM "!vy$c*6e@3J}G<]ZP| u R38zc;`O@GS%سl9oBkXVL7OƛAפ<XD$BAyc"~iK<: e=]LfoȮoiv '+Qޕ'%|gw'5ZJGwMĺ.GBrC)V0\WJOi ʩ[ﲌXgf8s:fX4\Z+k 1SLȑVL\Fе ):Ð BS,H >6[uMz 'K^6#aiB7cua90|/+s|p2g#&T!XeΞ6n fF$EP U+ / >$ƅ.[O B]S[dΝ$ ^p K{t@zP qW.4)p$6Yo2q$t<*qGq%oZ+DRU_~qK7>eл23L05P6\"oprgjC@xZ}5k<ٴuXezİ!IǸ__KqjC&E߈W(tR.e^k+NL^y6TLo%DGlP\u05"wb5 NyMcQcݡo֐L_GTҋ)m'U:kI g ,$;3"4%t5a"m(еzHJ`| ѧvU.gmٝr6I", rN-; k˻r&kQ x M7MtŁٛYEZ5;RPMlV0L8aw', G&FqĦQ k=B02~]M—%Y=c"4+oYHvΏ}cCKNJ539st㎄\G; !FJ.x?힌ð/DkՈ pBqјgYZ027bd0aad9da71e92b47d13cd1af7fc1e1cb9189 128b40fd534163d8c91306405dd839336dbf6421 1d358c05c770029d5ef42fa607b9b903240fe539 2865e9e5bb779efc0d2a109bc2805e889deaea3e 3488936885f842ab3ee157264e285733cd6bfcf3 3a57ce0a51d125a422b231e75d59070d0ddb0ef2 4ceb45c160f1c9d9b958f8c2a0edc2812ad3710c 66ae8e5f585f8c49c88c6f82efa6420001587741 74718ad600c312a461b137ac496c8cf92e680467 81f09c2bc556614c2670beb4e520a755b6e84899 8423f71a626c72553c9a74d758e57793b96776dd 870bd6cf13430859ffb7b73bbb272e778ef02e14 a0a6fc9a53358b76b5069b9274202aea68e0319c aa14f25a4cdc859e8a963f681829e695865b274d b6158350ed0881811cfd48a176b9d6b3fce7a387 bbe92b6f64abf66bf6cbdc4713ca5854710a39fa c4c2b8f34307ffdfc69babd8dd1d5c8cebc2c32e cc3e01ff9b00cd93c82a99f22fb1d1992a9825a8 d2148a089fd494348229bd08d9ed72e7b2b1df137df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 43a0916975fd8fd7a39f263ad02cb82da7f42160 f4c3b1a8715b8668e2e580ad0b0d9ada08b98571 9522b1c5d2ba73b26dd80a4375444cd64479884bf1495a73f855f7dc0375492db1b08bc26a059bae