SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info s+ $ % Secondary_Sylow:threads=2elapsed=5.551cpu=10.508gc=0.312factor=1.897zXZִF! O]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃,jn^pAn ]_e5E5v!S{7wE!wL:A<6H.Ŷ3)`gp"jqq)bRid#1:}=esM+^c ϔLvprl<.l,[:ec{h WhhC$S+&^h5/D|||}l2"^N:+(l%EhReNtJ ekÜX:)Z!^gy3<[4DZQ@4lı6\/W(FRh&<1@N֌T32U!5|%eSr6+r }SbwLzy]Ȟ9F {Dm +1~D;3 T]o",xw,J6QKNb9 t8yDKDN'XBOv^4ӍHF|!qv:/L6sȔC`a9je + Secondary_Sylow3'2-R T)`DCAm~tπM ;OISx[GPFޕh+wZGGIԗmf8bm{y NQֱEos$%wϙCdGF 2|&fdgH٧$RngyJjE^lS߬)4f+)]APkeP_ ɉE6.Mti)NIv;PJdbcmX~ZMo^BT9xG%b[#m4Y0taja*]/*p[T2_wGJC[**bVwS(TUӘ;1MTnWs8#cd)~`:uK9R R7AdBbTx~StjIK }7i1Ep/:d;~eo[ԩN~03f7us0{ɀBa D-&K(X +sIㆿuoR& &R;P.4aMDْ7tcSlRlLfslafɻ轖R1;2(,撂s5{g%bpRE)<R6y@ k"|gYZ7zXZִF! %l ]ŗXi% cUU6qöC ;sW(;DWqf3J IqYRqRZ)A*~ 葍^=QB̮f,[k6ZL_KUzvz* gZXy`P?i|zzAڼ V,H\pA•I/O@y7@m`oFn~z̟g*jd4J?| _-ZK8 1|Yl|Sۋu\Ե'`̊QZ b,7H 6{w=1Isn :Hi꿈 nQ3tLLjf):px aS풓+1`:E&V:;?O?8PD]õ$퇭k٤!ɠ3# $ s5&SѰ{=I@ȳRW:Yls'#e@ae刯9+BDڲA]N5a ' x 1RG**LP'do1psd[rZvMƱu')eZ Uհm|B&]RImqB-!\X6|5M4@"D;ٳ]Df&r3OTx6ʕ"w=_\Y*/,kq͜C! fK,9LMWQV8rukK^Zcbu"\= ~됴:qJ}BHڱgYZ0d4ca91b60be9500c90aee83710a5c32b25701d8 707f7081877423ffbac6d7d75ee7625d5f888056 93c8cdf99182baef62f2389dde188f58dd68d9de c6d33f696908642619028f80d5d7707602192bd8 cce72edfc02a20dd206a2409c7be50875c5f19f03b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd 6d1d3f0e148b6c15accd0b095b43eba53e554dcb