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 k1 t, w/ RefinementReactive:threads=2elapsed=11.284cpu=21.512gc=0.496factor=1.917zXZ 1 RefinementReactiveִF! M]ŗXf1-/6vR[O!vpa'tAl0ׂ~1agw$aU!PpO,ʀM&esUݻv'THԂH#})?»*ȲN㚏,4INߗMbhe~S- rg923Pp%} IeFEWN@vF(\VL 2J)$ߘ*2kG܀lG{Cs̰8 }9p#oW_ľ;vP4Iq]d1XKN[#U2+g#)Vbe]MG2?):Rg<+axo؉¾_zo,e-N:q3YQYJXó0#Om9\R.&*γc"#0nPGAmVN6<6D̀OvCl"TŹN%8PEK=w1<IQaFhnMx$v_ \j(ȼ9\KűI|Bo-UHג4f9i42BѽFR_W"/eST(4${;e=6rd@"3fvbp$v^M4o 7QGv}Upd$;[ʁ"ffji8x e NK-d3zf0ҫÊ5{5o3\H(vV(aҲ{EfU1~::$r|kwë3vu6(κbf$O~ C%Ip!^RlϨ(D\ܙQ !L@ q XBLt{`kQEPᖪODO5̏'rl|:s-XEOGQ/bDMu$G Ij' "q~z bt^8ݙ8*\kHcIƫ',"b^Yd#o\_x NnKVϵx+MeD ~d jV8X/ dSBדH?1ɮ"ؙ,L'IjK~2Uw)Tso ejVatwk.H Orzk9;'Lٮ9f,"葙e]< OgYZ7zXZִF! A]ŗXi%0<3D)k3`;}y) BՀiCsT\Tj Eͻ*g#fKq˻?z4͢>әC