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  dl| ]/]Nominal2:threads=2elapsed=38.082cpu=70.964gc=3.408factor=1.867zXZִF! ']ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFsHƞ!3i)KsinvaV%bd1{z+\:8MsXNژ u46Up,Ȑ[\ݻI,hw&[uӮhOО3Z{r9ؒ7kdZ"_v_~jv̈́Um zm磫M;qeFME w{/X(e k]+w>/uoNx҈ %GstC}u"'O8vP޾έ87LSR#Um   Nominal2TWh0W&>!Кc6? [B^, 5?SL7LJ]F)BOh@B`h2eQbl"9yЮ N 0c\`s=SSb\3Fʊ*Sˍ!;6/pj/F}4Yy>r.xi=a"ȶ5"T!U.s/ o&UMM|"d[/w`JR_և\Fg-d*=GYi Jݤ_( EkjP4(΃,frŶv81.\?y{K(]i +f`?OcR#_931AfK=)Y3u4,^#٘B'5E4} Nҧi}L9#CecWjW pZdgC[-!jm"g2$|wgM1: ۤBFuչXSMҠe7\@Yö́F!K1| p(4I*@ޯmU~\k~>)  N0 gYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14پ]+).3^1]VE 3W!}u;5hM4mA<밝kjC|oWl3:(] Q;5§Y0b2q `U:*AfuȰq.hVgSKK*'k(FL7U] ) "X˄LVN``EQb q erWrIG[*N bp($F3OMl_LDEm&E8e١{ѱm}-8=Vsa9 !_9=Jm@7Iu.k:_F4~4%Q.у$|oi&F kn8vApk%z_Y}:OL+fU/]Q cgYZ7zXZִF!  8]ŗXi%6So7Ж.sVПS9 :rOhS0D!պLAlƼG)pNMaŢJWi6KQMב EC1+{%!xȔɢؼ|p{%.+cĴC;>VChlީ~ڀTSFL%PegHzYa{yh_ƾ]_\9\߀3584i1Y2ȚTOj8|DzGuBB{AL6u![ ҴA,,Zq/͜Խk$)"mV"*GQ.cCDha8Hn#/{c )`V:bڏYؽ(s]x%L t Ӑ'r]ST2pվ?Tpsrg6)zBGU-kXyUuŜݦ ha* ?% *\w6{Ԍ3N=j(JDž<=KCeW|FW5JT_ɕoE,X|EӺXtgPukOgV"CXoK *gٮGLRx28GX@_YO(:nHtJ'DW8HRPu.m֫xP)f祥cx'$W'7e^^$j!aXpY .K iFs]"?ډ˪g`ގ]a`-Fg0 ԨRI.Rݽ;_^,pE ʕZ+<2C CxXkZ3Gl-7;oB2&|8Hfź<2f_6еuW2gÕtud)ubpd"+CAsM|q$H,dٻW?7_Pl47;/'E8.tHPItGJm6 [p}{` ׮y;qQչBw1ě_|6mȩ_8^ToBc .6 h:mr$ajDr*4L-I>_ӣ&jFWCX"Aсl#[M"Q=!@C'm,1V.Bu-_F5Gr'2eo >Εc+&ȿc-~yFte\;3C A8q,W7$EOHC.;B{pXM giQ0Wf"ItLW{[2a:eua74@l47ߊ 4(ϥ>u{sKqwXQ Pa:y$; P@b1j؉<u c- )'ƒ/^>@OėI^4 -NdNfhGā\zBL?0H6s]=Z(`"JH"}(x|ڠie@!! NWʕF;9 ^)M,iWeif-55 lU{BЄ pw t aڽLIMU{)mSCclz