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 W# Ld ]S]KAT_and_DRA:threads=2elapsed=37.479cpu=69.640gc=3.148factor=1.867zXZִF! 0h^]ŗXf1-/6vRZGq3۸,+|]-ۢ! 94Td# NB 7¡lRF%;q_+;oYˊD54AC&׻A J`bNpɊoe3iiT#m`v+tZZB9Bk 8hGdBKӰW@bQQפ ba/25=,l}6eZ<7,s,m}"8%/OR)?gtlڟHQT<(G0l.Bp2 rYLj ʍ4JEŘrCUd2Lqȩئ %gh˻](9[LVrsIXXĹ4ꂊ Ro-^˶&tгU#̐}Y]`6!Q4z1񠟀ǝ|TuVsB0wEZfJ L3>-Ih-vD6^@LerE M0'8".Ѕ) Vs<^l5YR6/Kuä_U $<熬TҴtI#gJ5ɄN9)&]cb:yX,5#;M``gYZ7zXZִF! ]ŗXiɟ풂z6Z𭉞7dK-3þ5UHdAvfvQɝUeb"D{%k@ה#xpQjrһBV+ϱkzR<&?S0-e_Zxdm~4es÷C­P&O6"d/qf3S@ ?D*V`\U?kk`#j7IBu\L:za< M]lG/gYZ7zXZִF! , i]ŗXi%>g5B#j8n}~-$"d_/!m "o֖V=$ tl] e=gjlŊV/J~srU)@]Bi( mºꆟ.`ԛzMcml5nok7cz;`z, 3@dpȒEZvPv j]p[JJ9N)}# „ѐN.@Uh!K'Q4>& #k{F ㏟:4kDA I j?2X&T %kD=;=|t R䩗HDYƧeœvh AR #ȶhׄvoHF''ۛmX$h)Gs\;wIՓљxn2jm2<]2(y~|IU0LGp/ rdA> @]77T8UӹH)kx 3Q}Pj$=E^K mVMhۓR[9waUIb:t,y&꩓̂p.V|ߘcbOD\2Sv )RlY>QhVea>I ԮQoɼsJXs6W,ΰ0Kװ׎$h+?XeeG"8aXv^q mꞚwƃ68hЅ6IA POLۦϯsr@_Mi'e+]U_&('ka-$Vwa&=eOrkQy*_6*#o$&W/Հc\cAA Vd~r:d}G;4ʿ`dek-It ְzToeg$xqsnA,$왫,o~z$?(7oѣpN]L#YuCX/e}rE[ 2Y$f dF@ftukܙ4媰=mBJH||UUB z4ADA1g tt k9=5A""C'x'rq-8qRHg~@Ov?%$Q\6F ?} b:rffBdbҗ*fu%?a66O521\fE'6)~vSAb;LwUZ1 .Ýΰ;.sei hc'ocfaX, x`KŻ"dUd.(.έ"E*uп`vP%i֎ CvB%!⎸ O{0ڷ~mP%-0O}a]6@fE[) r'N$P$7?j{:{JWc[to[H[F|\,j޻КX 11~jh_;~͡r#)F<:>OVze,7vbk"c%/r]:U +0|xu'gYƹ ŶgVhjA0/ 1FƔ-(~t 7壋m@aٳ@L=':g[apu{ ї,D  CeJEoڗ#@Եe:d#S쌮iKԜŧwvAUytEn+L!AV(Sp{UJaE{5PٙSF0qU; Gܲ늗a5ʂsb<_䤪hSFJi!HڕT !G@wqW"|sjŃP)toh5Ii] =Hrɂ(7?]>,5^} }p 3Y7a!kϞ}jdŖ78dֹ^):`)[0^hN"y3%{PjL0хQq+ dt.~iw&l7[,'L+46 |񯕤}< zD-0Y.N, F}d.}ID&OHK0(}R-J&bkd˧jz2тbvb`B k3 9@4kZbx?u2>USF3/ q&btQKeC +ns6N3$\ZJ/@DlCU4)\[ɚP