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 n $ ]S Lp:threads=4elapsed=26.280cpu=81.372gc=1.280factor=3.107zXZִF! ';]ŗXf[&X'y`T=+ˡ-(uAVw4uC4EA tszTM!IK?d$3TN!'ўũ!XTdw +.IámCύɱ9 hZ#EP Mq%tA${)-ODq}v?;*_:!(E P&zd֣K}W{)}4gru|E0H,jsG-op Z,G-J۱ƲOCyVyNmߗa5I&ʟjo tGkGRAm0]Hl*S"TKy˰7  Lp  #50bvrޒ( kuݟ!/QTم=ȋkOZsDsp\aNVso/*k`4!?=v !ϮqZ?|4}aabDG N OyPIMg5X)ziRF{ qxIW^^ē&oMfj iCZũO2{>]p/hޱqasiOYC(m"sQJ͐uhT.$Qu.,['y1{aѱvNHU\gYZ7zXZִF! ]ŗXiɟ7 +W*2TG= WbzAYLh 7q}MUL..,0y0I&y_|Q9EJwm:Nl[D[PK_fiV@m1)Zh٣L-c0\gYZ7zXZִF! ୒ ]ŗXi%G[GPłbdf)"C-}'bQտM@q\LhCYV=bspBoU+X~4M(_>:<"vФY%F*d#L-Kg*KODp5fJ6V=l(=DsX q#h1t}5LVPsEDo] M#DskEGP2$5iaèB8`.92G,5"7x?oQ9WmqabZ &=K S wdoe)0zLǖç@AM=! *u/vbHl q7a|(=6bR-@->]d|^T޸o樊1\b< ~в7e)`Ͻ01Kby>[!?Xе%"Eƅ#Sw U 7Dn^y~ooPˈ*፡}ȅW'bݛ;.d|b3v,zmKIBmxOX1NDSxqnyI'u2mUÇPĩCY{An@fifqQ пӖ*`x#Oafr\s ؖ$ު[и3csM:a)!w04jT;FL"a@6 Q^'FE/-øp龠)+4,-/,zaV:*Cv* %1;|,mnX~7B jm _ -toa`Q*R&񹏝yQ|ySWm}%㛟'-,;ԁ55+aYQ(H'S}enb2l6uCEx:3ck-lrk4Xxt|t–Py|VD/UqK SI+qj@[pq/dr)Wlg7FH0KY^]'dE/o28v`Lk:EN1XN6t hnSVYd i $ŜJ?{J]E{ 6 D9bB() ,<& ] vg C8K$+ ȑU`Cm 蓐z$w}S"/&X*%\P'^zdjvCBD{6-9:3Ai [udoSήIN@=I@PНM(!($b>Oj„^Ku]Q˵,NwxUvT\c_ͩd-jZIן U:ӇWk~놵ZXECVRQ93 @},D<޽귱eqއQ <A8=Y-lk%ZZP1R1$6QldY33'ruF.3"S02)x=S2cձ/Γɹێ>[5[1@1HMf“@g&3#Q8]ױL#<w [$0Sޞ^zyG[P}qf[X'"\,w' @p7\` a!ݐÏӎo#xBcU6u~ْ ʡlow}4dt#"E&PM%QqL>-tK9_hxV%}~;ӫ0EwE 7^m3R@$ rI~fcx'zeߖkmm[7 ;}ʗ&4ʢ"~j? -t@XI8kFR<Sr,$2j m+ rRNI)TBCCx10l4HjpF>L=Qm;mKV-q2ES5`c7rCui!2:k4 I~ - SN.^4Zr%:iHV?˅ye+pF{$\8giS(qiǡ%ӛB0*2@]B*~.(ސ^B$d*i