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  9) d,4 ]]Kleene_Algebra:threads=2elapsed=48.405cpu=78.192gc=4.116factor=1.627zXZִF! :L]ŗXf1-/6vRZcm#kƣOw|ё ̮/`RǢZ`23aa<@TeL>n"@{,j磛8\}mh'h9 aoK$$sJ6V@1* V۷g0:ll _i=xXyM \)N7#i-a&yU915~k4IQPqW1JTe;bkuy[nJ:t\*{ĞEeY6pŇ|7ɇ7 !#q$ˈc),&V($%fɦ jǫ0f &i_Zͤfh""DfSBz($1?ãas6C"u"_B Xn$7qk(?Zb V3Gr:,zWo-zy#)&X69/D:f|}h RX͕5wM%lm-rn#`bU/XhهܑyذWI>0f:jIBW}T _ ]#Dp KXI0<a&A1lR ~b ܍xO#+.=Ƅ쫅 H8QNF1( gi}6ͨIʣM8fRТg9#:%,:JncnC,͓NZכ/R5Ӣ/%f E1JzbJ:AQ^?5SF:R R U}~#Ѻٴjtꦙx }H˧zpub ` &h0&ο*7Iq :1q?̧rj:B]OЛ{f_UT׀UC#y:BN Fڹ!!luLAok*Gbܐo_0jcwLa7t!|}d@J ^> j A圈&[JF{^r9E62}jSXf'ۀG X^sG.٫l#ՐvΟ>蔾0D@q/kؿx)&b\VKl6~Ψ q mPr{p xA)T!ZA_o`9_* \={Rc0N֠Ŕ Rl}4x=:՗N#A6wpbs~-d~mV@e 2HHv6߂9?5g:pIcs2n~6gXXA̝3k tBឱgYZ7zXZִF! O]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]emd?( 3+4d!u QfU,c1Aro1^6s(8Z/($B=9vb{cK#I 6߭jX(|:ԫso wmSvGTA9̊,A\af w !ŵ;@Zɰ2%fb5ghcxXiK:/G>n/gKurͦWҺ"1Z񞐟Ѧ_vE7y В)[yY"&y%b}f$+ v{gYZ7zXZִF! S]ŗXi%;3=L)Xq`]  <kqE&cA)TCU7C'&0kXUŜwmڕ Z˳}gyZ4^, 1J6,s `/xVPyp,h+M=Bt<e7{`3U+DrSj_ _C_Meoof9\$tl5wti#A$ &Qk $[>)P,e%Z@-n85[)6d./b/Lʚ|w=n}ψSn!>mX~5ڇ4yyR ^Z}wBXw09čhrqZ4r:qFpl~6ciH _e5幸,RpZCeLQz O$̞ƛd^}Vׂڍ!SNoD j|ʊ6 J0c^1wJU`ИG>s'pI ;4 qI*޴ɋփ-'@UnQi0kC6z)meDXr!>~Tc*@1GMs@},Ng7W]9AGD 0&Bm c+|m z= ^Gtb{kܴu[ iyw*ͷ^v$U\b4K'_hw,ljG}C!<pZnEeG`X5%ˉ)+{ZMeBE}6m QX̮-Q{ >;\ m0U".Vj=ڋ_D0>;6&k;A!Z,e8rx;yº^h݉9`B Ρu)1ʥPy Vg8:>OU m׷uAb':[e*n;?+UDhIP;֬w 7|pC<g$= NkhO8(#ڋs\c%lE?߇@x;SF79>K]:[ǁFUF׫ \73eE$ +}Ƒ鱀0;5 @"n'-7ݸ* yJzIy{fE6陆 ;>hC;ZsW[9Cc\0BW 5//%E.R@hyWpn%V u>vK{nc;_JSLq8Uv#>^Ai,[`d3A6W"1M}QL6hA*kUY캧5'VK_(_눍$YMXVdzg)~ 6Y5R#µS較"A'qrUvHE邶TE}o>?O^jVZgq5(jxG*HMzY\O4ybS#FH,L UMwTIo0+hPQCT"XG8oafFhhú4wn |W&6Ɵ/#VX{MO*i ?"fʃ%P4I^42a1pꍻ:p)>FH\쥵 CJQJ{FTk!9Qc!ZؔL@z4Փ4JC9~BєSC uv(QR>'w|c~1-Z# [rݓl: B4rY+; $a0G*{3cE9YQID2T\-Fv5,Lܤg=B6fwdQ8 nVw_NeKm:Gě_."-KK['cx7B|?,EЁ/A$f