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 ll) 4 ] Error_Function:threads=4elapsed=10.703cpu=38.604gc=1.432factor=3.617zXZִF! ]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJރDVM СFo98} isw[p tƑ;>\ÞDc8 h^H<8qI mgM"Ӛ ȗIa=NoNM:Ia0|#[[}A`wr2kx\KUc*:#G."?%TW o•6Db4(ZE~(첡tnboŋW,>2ܷ;@sV]`U@%9jx?${V8b^s@c*`I18 V{b h*'>]YSeps7A?,w( FSK:j0-љ?~`7#n$ȶE׵9^b a Q$DI괷ԧ٥w~$3ߙ䅏HF'ÿRB*4g eHX"p6VLQ@%x*Wt웚  Y(Fvrc#qo&b(<G̰iށ7^[%$žҴp+MYJ,y.$%-%gYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7#I?9*MMlWD,F)&`.I;(-9MEk UuNb%odeZ>dI(2]$9l`M3. KrBq?W#twr륬S׭Ql+&#vuV4$!U);T=g}29YeBN gYZ7zXZִF! P]ŗXi%B:gЍ%`fv#At}"Hx_ V^Pe/1//OΚU uaWIG.?[z(rHcPSDzYOn.lP$ qn{k=rv(?cg-ʣ q}uCV'`P0<^~.}[t/ JR._r=] VbfoohbNq3>ks"\_?%ʠ4Lg;9wA&a v9]7U& 8jp<0]UފhDRGje>c t%bqkܙr lWU7Ft`Onᓿcy| [w\3u|=N}QBwOrثG!PJtSÅ۴F@C&-1۝Z*].9i:ŬCf5F!#)W0&VH)ƍ ߝ_Bѣ*iY6U-Wqt \s|@]xklqd{{N"lw1}9I4IWr(+_c%T؟evn"`@9(ޢ3ܞf( 9O?`Y.0vCE9\n1gpt6bDZn)'\I.˪ܘU!gCV~\6 C gꍐG30CWuiocOt8p@}8>?u#y,lw&V7~e'2:̉I1;t@'C]rrvwaK~˃:`=Rٸ{v*.[1Y_hՕIcΕgbAOpY(vrƍmDL3Q o(XPV 򖡲WF0cR_)SS 8[Sr yp@~e=oE7@y>r۴*wW}?֪VޅfajG=KֱVjl$Ծ*=Fvt|&7y_[vdHq~v+_W nmlqe*,g@IyֆsCK^F5Beǯ&YHԺSGdA(zYG]?9IgD6r48 ֳha4LKo{QtΈrMWڲ㒝l{!Hu }'W|Z=RTo=ziuo8IeJ@Z#9b;Pm_hIOFm_3V, JugYZ1da5867f547059033ea0e3f48493424aa62cd04b13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 9cf3daf8eb9e55c0bdaf09aad5a6bd05c171e50c ) Error_Function