SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  o o#SE;6Sbmv:Cj{P9!HM[6Y_] ᗘ,( _+Aǖ~NnJ.cd痼ԋb|i˰ފ\G0e&LYpW'M4;qKN#a]WcGG֪ꀚ{ I]^9jSr)&M2|,ؘ,6U3 ח=Vҧ]ݺ cNv$-=|Bu  ']x|WFdw,f-P1 gPg2xbWH$vt5^4dhgvX-g[fNJ*1Ջ0T>tYKAQ#B{+i=y^cn]eU3NԦSwJSBQ*XL@Ka ʴ"i}p(sg5, &.-ZlLDG?"d/}$ fTyN#|!~ubg̷vLJk;4j=┚L|eOÔt&h)7 VW3teWJz"y;ɫO&x7-JFtͧ!gVhL 0vevգBqm`#| ofa W6"k_7y?a&]"Wȼekfoq`2Qbx%иiŋ8 *!V,S\WUlrtt6WB'vfxܑa sܨo!sZAc.qtg:V|/A*S"2a.Y㰭R6*8- œXķrˢ4.BWXw-%y]`e΋$3^iG~zWO;,¥Y k1hȣU8kihx~K,2X렳](p+LU+ Oᅚ0/_[)2Z[sot@Z]F^35cS̈́B}48 u('aUf>h2Lp.W aP:cˡ:r5cĽ_xPp$:JH s3r`V(.O;\ " /[EMm4̞$ݞtU@B BN؏WÉ~ X9 >gij-p8xP#N,?pO؍O@q{{q%[k)}=1!or_N# T~s/:lDΘt'(1뒜 yM;#2IqmR@R0϶7pGMeYIǭi^fp]n} Tr jlmS_gYZ7zXZִF! ]ŗXiɟ1`?#DaCu8VoYҷ[̙:vJnM7֎j[L_*wJ0B>gM9>kKĉxf Voo_FY RigYZ7zXZִF! f]ŗXi%9(Pς NMRjN$>^Q98hYNY;)[D d.Q0 =[=@ %a;i?9 |EC/@oX= RE-v];fM)&BL[@Ǹ陥r8Gm<&bRrׅоnR\]YO&;2Yjۊ.P4 01vRɳ'o=`QO3#L[ڬ /@m N-@ty¸%1+༰%@6f: Eʤ [KLJfK^Pao{m7t'JGLGK\bo0nnH'QwXJA#HE3ϒK;LVX4 S$"kǮgq%T#ݻN[tݙ!ͯ$T4 ΩWo tZThB俹pN*,©37gJ+am-0u^AˏqSş6.dL\rPI9S^|AcT59*K/ךxP7r%c ۀ΂ L 1+3nfwjEHO.mx Dc .;|I4|BѶ8/H]l Rtɒ}0To]lJ5cJ`g4ƲDne<\7 +M~jJ)[l!H.IX>c e^%pVje Ӧ8ꯄ5)$?0l}XpYFp|wkmzVd]f$W֎4G+ۣةoTb1n8$Mzû c-1*Er=.bpR] K9Ģ1-pqwt)Z_eȯ uTж %Tg#m n휠{*1ޜ]uXI]9L'Bĸ88 8潏' .| eB[x 6#h@){Y5xY}p tD]e%$M[}6_)Fuf . nurJq7#L$wgٌy1k%Sl?`JB_ 2_k"M%1*y9TSKĐq?svk>,JrpY1MtJZG<*wY7a vgf]26|VBߣ}`Ϯq|(b OsddL>n-tqm-KmCie[M)XbԚ9k+ØI'6o?|XUWH `c]$PW}8v2fN5Pk)\&@+:Cq{2cY8((HMֲxa(3ӽѕV 3Q2o(}'C,j0ժ{(J'Jsi?@Bja?Y= F魯ɓ4[fm)7 l'm{WL*,m|xƩRFI@w a?(㢻$'{ wK _$ =]j?w_iU՝IHuPG OVU`}UhcOլsjZ 6A\C!?j'B9% 䄶wKRLM6M[>Ma\P/9s`W)c1Yf ~XQd[Gq6@!$뷉yo=ϜрPp~44~K4")I!)ؼH|wwuIR>O쪓fb kP%myuQ.m5E)Ã%RD2!*R3sף2gpDX5JIL % Ko?$joJq tC+29 # o,ϛ᠉o`o'lL<.xD5hP'J\p <܈#櫲)@F]2jplq${!`˸yUثL(d0Fo?b4co 8QIyQӅ8*j}5yWg2Jό3ҽs/[S>n ޳ u(՛%b\@Ks{_c{[Z_OqJYTfcHY̞yKdzsF}v' 绘Ntdi]f(}v*jJ/̾&?2LJ%9 /؋Kx֤ݺ7r7jZ-FW'ŲZ">r6c zɋͷDc6s6V10}!xn(x A%%tO+_?PX/ʖj 0 FvZ=\:syTpr9f (D>k d)0u/f.(fQ@u 1U {ޏ[Mf1:uXrJyB?좻^0_f+\vCyc:Fꗃc^j9/umRc\=j=QYM<\p'<u _ C'AҔ}nӋc?"3Ui&!(*ԑΛsPb6UQYz.L@|X4erWTxk#7 4tsaޮySj[7H>OX?ATI }|`@ [\IsŝC5Ϭ'^369˄ǖDu r BJɫ9-n|2L죬 3WzYv1;dڸB{8}jY1"ڻ TP&!٧d2ͼ#kp τB+hM׭)=кR V\]$ /3`^'bmu8IoJhFPk5M "ӊJE2R7! Py^_5;3"P YĦl7S@paBrܔZ%9ݚMV#_wo` 6,xMqS^v{\O%Ԙ,CU'2arf?/ЉAP4^>/" 92x"5 &#t߬ЉGk\{]p%V4)%\mG``Tjc#p ^X>gl6'(73Cvpqc?JKc8? pnG#.s ({=Ug֘6k.4 ._U;su cugtsxO38.!w>?ysФAǛgҲ?ܗJPfqsbv8EFn=k'jP /rb5H᧑TAZ=|9}y_ Ƕy >A`qN+gVy4x)^h3ݠp~8[mu׃"V5N5H0qDu@SgQ-- 5KC/GrMF_PBIƋ^`YΓ|dFh[2F4FqSÃ'/d s@a٬P"[zYVf"c'5UA]c>^n?ij!Bܰs y_vo:Gu+4̱gYZ80d7fbeb3e24336646b29accdf32e0a5273ab0996f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 f35d613e91298ed96af573ceee500580887c6bd5 17865e4fa9f9d73f01acd06a0dd05a886d39443555dd3ff53d2bea5d5c897b5d7d0426b7f3fb1512