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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  G L$4 ]S]LEM:threads=2elapsed=44.834cpu=84.512gc=5.916factor=1.887zXZִF! :;]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm톟drE$gЏmz RcbYqVsϷˬ}wT WWՏ@Sf8ue$<卶FlИ^ 5$THzu/Q\2agG\ >B%FF҃͘[jzFڴSj]dSMk#~raD E4.uا^0 c}X9d[DJ9FgE9ce9FONC-yj;'`YϏƲ{bcb#/x@v^ޖ|VqE!7"j(%Q& \F:fbDb܆8riS!?W̿:,8INlBDVʨxE,_G0FxH`f?Ey‹Ɲn W)_T ,8- soW,i {E `֝ѵ)4j4M{}`V <@-Trk fDj\{xP#l!1)>.oiݩSW- e{R|nwsd)փF˯b"-64#_ISz4-EL]_r bŇn[QS"#&_+` `%!Ic!MY% o4ŕ^ 0;xG a{Zk6z4=Sp¥L2ˌ$#%gKU( `LB9wЯ]6>Ď] ۺUdCXlߩjtAtTVzq=bb;XTVf\'S^d`5}Lpw]/qݽ޶)y)),i( q@HW,QG|>4p-H2U"# _`7eܡFDSl }: PH[Su٪5<`v8fͿ{vLkwΧO{S.;p,4 Zw,Qq8uS,׮1IJ/hXa($ ruS y [QHnmw)hZqMcZP#Ni)~&f?nv bUWЎ&ֿ f3]{}6SgRS'D^)),1_R6Q_)٩#͌δ+r,Io͂4h XTʺ` ۨ2*#! rYBWoz!~f+'DZr8گMO-4r C"IK؊ꬑX: D"kij}gYZ7zXZִF! ]ŗXi%>gȀ$]⨧hf*ZqttҾG^6&$=5W?…Fbk޲-t TD.XTpoDtX&2Pzbݴ(ϢtNEK~jKpxn JwbYSm9}͗  &; j*{- vBOnS/hS60sqh_R/~zܾn'𕋩/]/P|MM @ ak1SwTT׸DAgԓO={ЮL}#L[ߖ$"2k-Wst8ѓBLa(敠L\gƝ! 5d>bLW]DOSSʑs &&{.:ȅR=w"R-k+Xc0O)R L kv&0e8bO6Ǐd5'0'G% QZxLzaEX#cGP@ #ccfoaf^Ev^Yg+n IxA5MI9h}YegaN (`"ɧaf‚̔B/b#_DGdl@MNSa ;&];> i-6;,OZkGt|=zt ح)CV3Ĩ_'sR=PkZV;aE5/[r C۞_~2Ρ_F# ܹ` upI$ s R1iN:(=6@a7l›H'-Aqaù:y"T0 wմ& W6`v~,MFhshuH3 Etya "vjTNZzx6>;A:Öd̊fٺS=IZsvm}X1TwۉA\WT';Kj_(݇U~JʆP=4gU)%3curK?x*8Q E(aǥމ"!3^•Y&A?r&-Y\[R6Vt}aF*uǒ78k o s/YUjCM]f5v $!ѵp*b7>պɰMS_H;hT&6&.b}S|Y}Viyg~, D1ź0{E:"rĘurafot6!07 ;,9t47Y%4?~W8 ҥ~ -#a?U1ߠFr7z l|sAexOG&diWߨ%JQ0;S+66++}[ŝ&IfHVz%rt2錉N.[. ef>RB8P;|O>LQ( =nI 4z&/#sW=SZ8<SQ1ϒ?u;Ȣv+0 ,2`t?9uN(i]jIwqgYZe6a3a1bc319dfe56f1bb8986c5d0b2d96ff1bca097833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 16c07ab52060a1877247247ac947f7478297781e 493a0989fe4d5017ef46d01316cd014202e829d5597c39ceb7241ceea7088655bd9f7adc1cf5b263