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 44I- 4|T ]/ ZF-Constructible:threads=4elapsed=8.787cpu=29.244gc=2.436factor=3.337zXZִF! V]ŗXf1-W5"~ H:Fi{3g]US۶/QlWKQŌDor"Ġ y"%蒺xe5[ VTCw;&36N˼a:n?|u'tJvұ1H"h[⣸*$U{4?;QW4ut΢,9xx(\(N[nIzw?{_lH(*Pr.\M@V)\%N4zwmFb_0:ģ![g|+uZp]ao=ؕo\/ wQ\XT|Hଢ଼?T*#{&b|AÄc`Uqs{J(|XZ /c)֬K-ٟ ^Z |5𛿉4M ui&Pq6@:g RM9S8l``\H:M]ŋnv풹NW}ȴ"`U3gAKr^=z@z%V9p(NSj݉\Mr|ڞ(+5D!4 ñgYZ7zXZִF! P]ŗXi%B۾+I2 ;Y$`~/G"Z"(/ dfR5_l }O"YӅFݾDj_bg |(u#6߽*0yѽ7P~B+ rq!Vԣo\pQZ [)7Ґyyk'\) X p'W:(0#S6(y\<=/"b uLHЏ}}:oOn,.eۚXq Y\Iޗ佦(2ifqss6UL(9W8S*ݕN{[b]+m( ("Vݬ#(Xt͇ };^bLT &Ryp(dV*{~ĒZ*rZt8J!ɭȷ Ԏj ʑ 5[2ӏf-=J<}=Ó] .rZA01:~`=HJhm?/>-M?Qvw.R+Z`ܙ]Dcvdv pEYWq`݃keʽ0y΁^t;h4VHk*즤Tc?B(>HEv*;_+Ͼȝ< [5( lU;ix GM@Dt,y#mGl\Kڎ2#kO tVҥ+z=`nh