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 n/$J!K哥@bw3!ͽ͕aN ԛsԩZҧtFvTTCwro9\CCreOjخ,p&pbJ7U@`\0BP)d t$y;}>vzE_k )ka89YkkߕB5E6t3Vax/ 1>QW<\,C0&D^9h|3 sU+Ol06~X!ݤl 0|/C @)md;djhDZ0ԦB̪bpCA,O_e }>h \A{sNS<=bcK~<-L~'j9ig*/7ҩ;?Khfurv<# )er))zI6NL_W lS]֖W7>)-3"cyƉ38k=jWD3mD+7Y-pi\GN9HF4lTxJPz;@8UsVE$./5j& E0D1C{֜!3<*ޟ䦟_S_p;k'U&eG+[6vReA#. /DonT ҬIIo˯pH$=A`LQ͉׎-a kbۉ=FJq \zڀ}^Jrϰ?bq7Clx_Ge]̛SV`6l1%W5Er/o<X# 7cM!nRK8t6GgK%IXн,Ǧ6 Ԯd'V.lӿYz7<*"XhE5&Ȭ*MVڅ\HEZEFG%r0#eD{ܛ;r ޟ0<@cOQ5ȍOB@\.A^?ѫ!d7IT:d/Z 熁gϜ oc]tF'=֕'1ťTA`9P@_59{uwk'=zឤ){B4"qM[ Voj|W<m!ug#dz¤yQ;M7vzXRś>c+4.®gYZ7zXZִF! pV]ŗXiɟ1e YSCrۛ O8&gw.~aҞh?F'FSbWX'ng @fGyN<@@ss?ı cJr1n*9aPO!hAS K﹛ EƂ<_C6qq>'8%Uw&~N<[`\ob:,|R-04YIѰ5U΄sb_ZɔC~.MqbMޱQb:B <ni[ M5"JݶA!Df[Z o!C>αKv m?1!ZcU)3,n 0O&, GIx7e-eHq*Y#MG~}@v2G:}y`g9fW?XGrd> 8tƟ,"p${GQ#GX1*5FE柗`3jTp2պ0RS%2}簝LJFS `: wQ~S2'[up/,RN%|v(xr)qJC)~Rr qdsLgYZ7zXZִF!  ]ŗXi%9#6LidmVUzYm"7~KXܖ'FY_:DzD;Y[饩^[(aeـ{CZUwg_jiW-ύԒHVKH3 L5̨uQf LP"6cўPeQ<*f1En-14i Z~u!I^'?xUAth+9)qL$Il>nZΓjTٺ$ҥ4 1#?=[֥nJ.x|3΅4W#ʻ}iHRnVP)E.9,K!0:Gk2SӴs3ؓ/d8C #lMz/ɝ[fOR@ҀpUvi̚qRtJD ϼ@tx8]ֽ"z骜.| Ec elYC}7EJxҨsE =mO{ʜQ%xN vvV>?TI#@˦hAqX,sZz'21 yؕi7ݣfs$RFWZUmEq*AO!.rJܩE/DFSGgD+k툖uA|i2BxxMgHNZ,IiuUF|>e7{Ol ңG^Y2%R,~.??u`Sˋ3i p:ֽ$55Ŝ{8|up\ѣ>҉]@m)ao?ѡ@g7ClmkYȶ}p|07O|EB+(L]RxܳiG B ,c"o g"бGAY'hYG[kIB<3quP ,  b'|Mcά˰k:7cnϺzC1Ц %cZU| @!|#!:rK,8%۫CkSTh\ށ^ֳswk`gUl؂[}Q&y25#;ztb糗qRI~I0亯}HC~-nblΔO",J<@$g ϓ, >5faAJ@umbK~k"mSYcV#s!DV崪$k;X9?/UOWcDj ^# ly$\]8h60ο T&P7T,@xhힵɃǖ%l^ +bRj&-K14>&9NW£9ꪭ)8;ҹ]*\;WIh=dca./!Ţ"MrB$ wgDyc(Wiҫf󔹤j~WL*$cYSg$ϩ%STG ^=bj?pi֫F5vvOw%N3uK^%+/@S41.!(/VxP 5֘7cpL=M# ~4*kAQ>8I ttfh`po&CAW%& >̊t쐟P%ZTV p,0dqiH7i"VpTwCM2#*(|!A: Pon=޺nV3=r;OR/U6~ӫf-F " hbGGROm`n$<$'qC.(U>LWnq&{{)}V5X Ƽe=rxd&/Q1W%ps/ƿPJo'oHfR5I'.GK*Ii}oj {K;T9.$D?9\ ~vl!pB K8wEQdT%mJK{!meYxFӞB!yhE֯xpb#! 8E*z0KX]ڡhM ]MG ;?:lbqzP'T;D#fSiRʄ+*Tۓf^?7#")(~WV뮺Cs^,z}Ux6LpΎUj&m,911/,CdKCXS\3K]M >i0I1<2}$UQV6ўns `v#h; 'EqQu?"~y.\6ס!R Ӊm7̷[|^VkL^SY"y"fgH$Q Onk S};],\1ҎsWBTn)zՉ̗OwM&Dn:qP_mtYɾs~MKCkeH$ 7@zSY\e|Bh@v3Rݟ?ŰeE( /W`,Gh8ypJ\g &6_x`w6PSrkuB7]|Wuy gu:` )t>C *H^2sh>=2/"ܱgYZab476035b61bdaf0517d6d3e7b0f1dcb6d4339043edda0fb92271fc3d98db9fd8ef354f0e0f0aa1f 9b5239179dcfac295bcf1cf11d762d8b0e6bc3e3 91c1c9e9edab459ce62d0aceae1283cc3c035f10 eec8422d64aa0f5a5d3bbb883c9c7ef783458494aab8f5e237faede9bb0e20aee6617d401cf399d8