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   d,  Category2:threads=2elapsed=18.132cpu=33.896gc=2.068factor=1.877zXZִF! w ]ŗXf1-q恉 :NCG 8vۗ?xWfkq6g.a((Ƶʍj(n&䰜+>!(Br" WGV s0C'Sv* yY/qc;S . 8ybUb峯Բ"=O=Aͥʕg*vOxdM]L1i8~i&\ZP&cLSƲ7r}*#r1 ,p0"U7P ;T\ho|rY  r+1zb%R304tff%c$O- ?7;n8J)]R^4pMM,U75ٍ1(4_K4 nWmN nR|YzrP.Sy^ /zA_GJ7h9*(u]"Y0P+2X=Jnk (( r8| Z羰(J2ܘK󆴇l?GAͷBnmaUŸ>g"c~v,yOIң$yE#}wfX ڊp뀇X*1΢Wz#15%o0$9~KCumw,\76ZZB_: z&Y& _RxqEROf 6NBc4SgF2+aXlH%m!fU.*$(gK>.E-eSq"I اS񩿩-@?6~|Qh K&qπLe!L"l/{wc'lV[M- h|(=kk>s 9"4gؿѽռs~#C!   Category2*nZQvd*K0VxA͡\RL}$w$BU~iwNjf$X6?t(7GOGp{Xat /%: WLVk`Kh3OZZMntËC 垹_sw$JmR:Soroz$}Ur@h>] ` "e(\֛>pzЍ?b0!&.MbUN8|_R>MZrcnPW:{97˯ɻ/iTMe+P i5eV0*W NTYH#ˏ]6MdiK5ܽ2 A2Ic'Lq$BobgG;fl DH tBH&@1'*;RHJixK zd) ֡OvhNEDlRN(}おmQ9*0#L}m'64}^W;%ˡזz`W'?zhX @x_W#RܖO&_";Uu;&+\iCF("L/B?2e u[y\ 'MأU qى˹IPzb&lN՞ye,U|V_x qsb|M4XhkH- uFS\m۞(%;Ч7S@ ?|4Ԡ(9V4 8B\$ł,W+Y**b2Eԗa2ÐTWw+g#k-z󹯽L"G"'21EVQ2Cz gJhf1LKTF& TW/{/ǁ؝ U_zc{~v d[;-h_5Wm\zW.cu|Ću4|?VڥV HV47pD6쟒M-̯lВvlLZC2%7ӛ`A]q~X4zǤ"L,5Uk W^j1+Oqʴ[31f `]YU0ヮ(k;ڊ¸ (ǩ$gYCS SyVEمό0Qh*21a#:|?6_kAۄQ]B۸;$In(Y. ߍA AaYߦ!2'VX:ț>*74ǧx{ǝᢀ~jRhd\ ŋAa4 W{Zۻ^@h|Y9_LLUnIat !!\UJT< pX ;0 'ط<W>ᓋ:C0U|S=pK뜭 `& ipN^2d׮yVk4=k*Ci? #!_/5Yӯ~sv`z@2SJ Y֫e cCFipqoZpJBdzpHyHnHKz7M/gNrE8fg@zъ-Yy(k:aU.akv6ܾGʗ1?8'@@F0m6Eq_;~^݊ u%IG@ؼJ'f5,QΓ73C2-*&|໗'cfUOS:+{4h ;|AYm1ZK0Y sgɸU(qlX?uiĢ%8}8(|I7E*+?# /35#(u֎U_5 [#4Doz( 0JER_>MHܸwsd4f$-O樬BR &P<"l&]Ci|J F;R!g 9=Uߢ)K!׾[|E% nvd'߻[eL@_~ۦLv6wiZ(4ފѹɧ\7y%bc.(5ڂ }UۭT0\;<:&'ӆ0ŵbpcׯ=w9 LX)` Eg%_ '.FӤsK?{5ngtRq~IV4&QR:ޗ|& ռs7[Jux6r.~2"eTQ+uf. pVeqʴzRġYm=8y/&5B^TL+x`f#8d(uʏuYFY㫹=40ٴ!NTtZyB˫wQ?DRrW\]F{BǔZ[0Ү<1Ư̈́|mF4w+%1o`1ZI Y8dN p-Ķ^Έ2f/_ V1Ay;zw9 0ZH:{vSoݸܙeI _22<ꓤVM]dB%%Ğ(? ST}X 7$*7P "* 'wz2ǜ^^mc}W~ R^X!+ۦR чQV[1)X ˱gYZ00cc22d1e149de2b56ecc5c1b1c9acde14f756c4 1a85d643ff9daa78dc2008ddb49d7c4038929bd2 2eb5625e56755fda5ce3401b40beed5169cd2f93 513a81bf794efc8deac8947c77c06afd61249e42 8282a16f2d860a70a7c6cee5ef8261c8ae19609b 86fd7da255e0657d15e775a7170bdc58487beed1 8d27736d7b5020008fcc2f11d1d6e066fbf5fce1 9047213262f305724c9b6f8d7d1941eb424a1a8a b000116ec6ac689f1ec762430fc478a93e7852d1 b5cc46d4a62f20ef6119a9851a7ca12f33a1c7a3 b655cfe8cb22898d4b4ce5762e1e15db5fa4599d c5e40c169c35a0861c6b29bd1a845974a762f502 f061effe1a39aad1953557c0a1606fc8143f9a30 f5e82ea1c278f91f9937efb26f3b0956a096c71f9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567