SQLite format 3 @ . B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info S S *1Lt ] Knuth_Morris_Pratt:threads=2elapsed=23.456cpu=45.312gc=1.400factor=1.937zXZ ִF ! Z]] ŗXf1-q恈͐7ӺV6 hD;V& _w^F#4ZMKDź"̍:R>|:5l0V|18gJa%1ٖGɒ-)Ԉ{4X9w27(=0V.>x72;B:"s;=nqTa!vjA>eZ'N&|^%ĐRlx>h23RzC!6c@`rC=T8pp%v>ѣ|sSNXA{7 S73?ͬto>ݚ0-fE.`kN-DlGʮc,W_V,s6,W`h.oLZq;a=Qy37YIZ{a1o4د*BɘooHFPic`? 9BzA %3ƸE:a`iUrQ @j/jԹo(]W(6wuh 9dT8pOV|p 3{]eWVªhJߚ}#E_(Y4%wPc_DSP`cAH uktr?a ( Cñg YZ7zXZ ִF ! t] ŗXiɟ1˦r>yǬ -O?3l\?@%uD VG*0MnRx q%Sz{2kd MF#y^6 0 O a&V hg YZ7zXZ ִF ! }WC] ŗXi%;cWHD߭-/)- yD:9? ޖmXsS#Gx^BhWx(be?&N+]}f;-p4-3}b̴ɶȭM6d:iD=Wo<&Aִ[n)r`˅8 PJ&m@_d"x.#r](\#l?fk1. 5\iluB"|~3eu,%ܭ˨N`^OL-V]u'ރ/0 xUocb-XJ4% &؏xR{5\'6/zvkÈ0 ˙F*l'k֫UvD:[H)~k5 aP =`/$@e2_= c^/7)pj"V 9Ћ'ɝ@{,и/Ur-L^vh}#PEp+(wotE9W#2ERz?ڧ8O`DR]9{ٱ f~QGO4RGS(3Z<00xҝiD)>)W2座hK5XmcM_f-S͊dơpE.U ?c]ApYR~˱t|y.åkgBW`i_u=4ۜTR3聄Py:Q%~b+iWs9.TCG)i0W)G'[i]ˈpz@|K0a5@cZ_g