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 &+ ld ] LightweightJava:threads=2elapsed=50.217cpu=76.100gc=3.036factor=1.527zXZִF! A0]ŗXf1-/6vRZlpH8;_SuƖ`BE~IYIc 7ˍw^auZ)q"˷o`&]ۿz't<t2w\qZ3&-B͏C͎<4EGA!R|FOdAAVf|~)V!FOQBzOA N';u*2JJ)W؎4@#Zn(3zXgx3 #)Z28SY|.E[~1i}R=sC _bAՆs5&z:$m:BuhUo%!5 .&K9V[|Ӊ ѵ/ + LightweightJavaB#&QTp!fzB`6J :tﲂX2;4 hB*!ž"۬ r`lSn,x#"AEK\0xtqD͊,nc*7zS$6A+o:b7NI@W Ԑ/ҷ^Ylb\ϛLMDqK!߉D@7#}Jbu6؉ZLjMISf{2r3S(b*LDzNMUV{VVA8y6y8 *t{3DV*迌7RNIdT38pw kS4)7$-#yⰠ g#ubhnj{OfYޔ"-)^e}Ģ  Q\[4$%c1w*"!8+N$BuVuV2O TS&n=p'El C^J/żYlfgz{kK Ax.8n!pXƯ~h̰,BVnԐq$HB;B289q&JjR3AVgK9 4do^`Z@s"RIVLF<pѸN9U@^1{QH0gI~07b*,~bBXq:[u"gYZ7zXZִF! ]ŗXiɟ QyJbmyY,9>ڬ7~e9Q0ӡ8;vE?VH+aփ-0=vg2,1Þs|l[RCwiA|)*1c<&UٽYy#1}pO`6au)l"gYZ7zXZִF! & ]ŗXi%9(OP#!-brsS3뎕GE8d(@\.*Z>'{ޓ],@(~܏Zw0PrXTZD(۾睶f-{SKIԺyFp MC:EhQ&8Gʆ.\H0'"1˪v#m1NRPy:`%&FT:XjiUGS0Ķ;zc}aX'Fd!d-sSʇa9̂ÿmU̗H<4\|xRʖ(_7<<Pݵj>>ʓ1.sG˘c҂>7,#g$:t Ѡ\MU? a)3Bڂ%h,o|O G&*akN锽[RL MvceDJ$dS^_5F2{iq/NQhZ /|<N"ǔG3fKI$&8 (*%LBpj{%rB9ގsv6U؀zJ(A## ۬hѯ[fRAl|-AlF7vU^m!8rdqh2'u gX_#JJ/N(ǫ-' 2b( "v}uS9JRIVpwqeQ#lJxu5rrcsH=DZ9UqztP% V PNCHsu7[i-?6G}7珳LHPO= dd$ f VWa*Űvߏ>W#Md<Ixɯ2߭B[~F%H֜idKoj/KIghgo)YAFgam'em SZ Z\}Ъ+& \Nu[eyջ[FkFscH~;ykx nV$OA8htP%$t}qL(l4I#"Y+J_#-ZVL;T=0&ْ:)*7SG>?#s2lp2+EKgy>|_$5g1M1 2mzU @6KM!`og&{oM9(>إ5A::`<]8,$."$|Qw⒭j)!@gzGSw!KwT%Y f B!gr#<1kom"M2ٵWB ;ȧ٨'RU\7]CZ`j5fň ߷;xOBmEOe2w#~XiGq5;忩Z}xhÚn^쏽 `:֥wLr^3DhicTJ8^Y% DR=r1M EA1s`V q&*f{"h {&XŷҶg{ݦ9ґI7혟* I`.ʢ? Ġ/ 8lkdHxz]<ͽNl5%@7Et ཛྷ84n{;fApڸaN43ltw(eEW iϱK諘^;2~l\[RBk$:94|_Fq]LO2KPގ9^ZO3344T4JpzwH$