SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ) $<, ]% Jordan_Hoelder:threads=4elapsed=11.431cpu=40.904gc=1.704factor=3.587zXZִF! ]ŗXf[&ɉOW !v_xld$\:Vf7-A!|=98P&ro_!ݔfTͭMz `9geHyfun`#&=MٖG@&02zqB O`\c).17'5>nCzJ/ ;\p0ϝ/cW0y*@e#RX(`[/:׬}%Ɍl3:lH2YQܡkq;`Bm.K4}BO6PPQ4k; lDԋ$[ 7&vG'/?smr1At"hkԾO[22aTVjK+9~k1pڛgd! =V!21G-Ciõ9oqZŭ%q* m'r |NI%vB83XGj9Cx;yP֐*&n mܫۈ͂iڬ LLy5bL.?+(p4G4A<!2MRXLn~i*=czh +3-hu)V"DؓQ'Y=U> Y4Wх5%rgYZ7zXZִF! J]ŗXiɟNGV/}YHE$+N7\Q"^_^`0O{? `##W=96c'oxـp-Rk)jт^ABGL׺̍Ze5Hj "Q HsP%]]e ft,G,6I/[y0|y9 dи"[jS['L7Qu. pVKwlqxne rf|0kO!©v VKgYZ7zXZִF! Y0M]ŗXi%Gf7!W΢42 FN?JdxSmwBv`*$h];g%X28 :}%ղcEcُl81&3DaDPh73&WDl#H;N&-k@x\(θA&i&"]mJik3& (0n78NPD&>`w05-W,5s5Eϯcip}t"{BTW9>p3<f?6{^[XlX7ӠO 7{OaOx[0C>,DbbdC89eՋ8hݮW"dYqg-d|y$~>6=h0~_d&\]iw*GяSbDgK H9ÃY̲,UPIc|}e㕹'?wSJCO~٥)@dm-zaufS c5S jyOZ$&ۘO] W[QkdJb?Cp"h&5Z 6Ʌ?zg_ 'D p,ق8b#e@%B'2|JBLN>l8| VWI0jˡ0z%}Ry2!ëf9)i==$ˌjWuE[LsY/mH|̟RL)7I}]..x՝ќH)]1뫊35(9+epǝ.'9zf$`4"LiFTAs2 @zr?[zҁVѠGS+b9e [@QGԔ+U*lhMI̠ B' H88n5qئĞ4?>|C2u);vCID*ȟ솷}< pAdk$N1~=)e'X;Sτh'82:?}P<pOœ4iC>2\B .49vQT,op&׸3z{:r^T - DU+\+;_adqg+0է 4̎tAlr=ӭ{BO0Io/wVB2e\NK(DWR7 JNe4-Ų3SXQ~A RI|>r &Y9ˁ7L$4Et%([H0Vc< &3=%M%FMBkPH"[ܠj1{qӕUFay9ybHZ\@ji5WR{쬵73_<5^,5c,F ώUֶx#p)y 瓎^oK(;/ Ss0ZHg VAMgYZfd721b65a8e6ea54429800599c5c6da1035e72b81795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 b94aeae032d25118b0ccd9683f806be94d108fae c7483b18145f75634c9f33c9550952b04fb136e2 ) Jordan_Hoelder