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 `+ 4lL ]w Randomised_BSTs:threads=4elapsed=8.234cpu=26.656gc=0.488factor=3.247zXZִF! \]ŗXf[&Mn;ԲhHYg[XkϞ:$a&R=IE~1?9!, 1ϫ1iAJy.>o9QtdaA!]/Qpy3Z0*6" xgExύ ٶ`+ۍ>4řGcL`ͣQ{8%"xr9_<`݋(aBEݐn }} ĸjմ^tzΉҙ.7[N@7/Vg8_y'dBF;@^L} ͱ{xap#skE/Ѹ"Jy#O2 ~6Ӫr+ȔFp#1t߹oF Z7:b"3RoW_y-~2YgM9Myb eHQqGk렪,>)X0  B0=& z/-EGv$~%?D:>xx8,iwq9vPeZxYG~g^tfu{tR /'`=hډDwc I5N3-M 2o<M?T48 {c ijb'C>,=$VϥR#A CON[ )E"P -sEE'7 wclI73sܮx"Bb'<Ł{0REȣÊk"a?_9!IGCOgy.z2rˉ{l]1cdfRq^IeZB~ rQ*#z~Nw-ݿEC҉++Z%F|E`*:\DyU=o{x3cvG?(oyێz3 DAy#IMD$wmdN܉4"3*ݨ=ծ]Ad59}DdA%9`#r+CStI2A|`\>!Z[c{`b$*4\7}X5hzS*DYd+Ph٤dGoDIſ='2EDu2sY.ҌNj[Y"4ռI3Q͘3LpS ǴX_ ~FKX+4AoxofTBZĶ& T}PU e@BG@}A[pVwQN-\ܺDwu)wESF͜]94k~PXވ_00wj|B1fJo 8I8[‡}MU{E{"G97A0`lJASm]v̈́7miN{|@),mr7iOLAQ'{ט ;id`xe x`y0 >`RנHVT=M߷Qyk_`8wAs!*xa4 `*QA)V֨ "-T