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- tD ]/ ZF-Constructible:threads=2elapsed=17.479cpu=33.380gc=6.164factor=1.917zXZִF! ]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}ό 2+{ڶ 6oFn6./R%nK#Ww:Z}V)]A GdU!3^Te9&1iCR ?Wqk6m:6-]2tPF$G2pn3tX}1PDw<іЋjԘ7+jRiEp'+_0=k@dhi'08Gh{m!"J萐G6 ,FYb`^>l4,mBC]n_ ^@wQ;u{w Io7T6\v8[YƐr䂙Z.wz*{/u3$s| P*s+F~䐦!TேY/Y`ex$3jq)I:ɞXgYZ7zXZִF! t]ŗXiɟ95ZrY!Zg>3gAKrYCڨ?ɹ <^WnM7vRn=_PMj5GJAqظ| y ͏JʢQpܔ-*żr|4w:{$7kt"Vb>mj]˵|T&7VMҏ$?_7GWlzzd\JhVnr*|@C K3 3ֳBc>NƤ!!*Ϳ&g:HkXWl zeaZMU$4zS1og-Zg(vmA% Ҡ c6|b9 vzEgYZ7zXZִF! \Z]ŗXi%9*WW:[TGl&B;Y!%Ub4çN"}6҈n}2@EP?^+U84գӵht"+~(`;3p`ݑǃ#K(?jds ˀd!h2N[6MCh"LtL)RztPc5b 3sMLX3D(eGW*XhlA{@E4>&)͙uAҩqm(n6] re"RXs >he2 7F·gY,iDj؍2މ$UZɗ>"YN&jIq-~)Q 92PgeXnq3{xAUrsJR ;P )L] T=UjmL M;Ի # :*l3 9qk=3dXHJ'Q:&_f4hkȞ\b'T JpR_6Bh砓o)\mvKs{N4yp;af qU=y]\Hتx"]Ø"ׅq1f,WPZNu,!↥01iӮAu=қ-5{&K:g%[z]chǐtxNHӑcTg 3J,ށM(LLEoOAsd0+Cj(ܨ3NٺH ^GN&?Qޖ,O9_(MC?T:" Ro5tbijj֢-wH3d ܐN4lRN#K1eDjs"e˦ 4%bҭ}62s|9c5s2A" gYZ206b637b4f715815e6780141fb2b95d873a6e51f1f11aeb0b5cb58822b61789e97e7af2cf416f0f7 2170a5fa4a68f7b1a42bd57e1745c11f34cab24c - ZF-Constructible