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 {- D4?THD/U/ wWs៞Jak#sqYl4HpH?hfݑHڟT46RL'iq 3F&yj^꜄FH?ߗ-A,j1 *^fKZ?OFد - Stirling_Formula  cD 1%U[k$?KNy<*[ mAƜ/ _0Q4pB)/HtH`^k([yVq+>ՖﳗL*Ժ*i?@gZ zEQ Tz SJKvi׿۫OC*;0W~b>IoZyvj͟nZZ3)ǿ[;# `zN֟r,KJ18[wg躜D5&]ƍ5dKLFj|"c薫ٳi4VB/oi[-d3]Y"J Z ;q݅K7ctvLZy+/*{P6L(?ྰJ"y'zf_]Y5 J=N鞻 :-S* dZ_rɾ=@S݉|>Sbe%= \5Kfw~ixj^?WtAbòӊ) 1 B=p<6,/9: )`K+%zdTTa)tglнߙU c*:a~7LUdE%;CCHHp(3-!l-b:_>dz LM\Ԣ`Q;BHgYZ7zXZִF! V]ŗXiɟ1˦r!q=4!pƹ $7#sm9/ݿ(,:bEt+Fb> bVbangt328@@8'|dnDMt4[::)~L*ha.윖Ư,A ui oҷ#as)F#3dԮmgNiz%ƴ|RA*ap5 ;%HW}D}R>V)J ̒%FK lړW%0E-B9]bB3$jr"Q*;)PyWgYZ7zXZִF! ]ŗXi%Ge'?Osۨ[;Ts;EJm}*oiځΪp:o=yC !q` IQ'SCʜadzyQǮCYo VWxjе*zQQ1*7gRK,foffγB`Y' Ѯ\lZXxo@˪Ufl`O*kk_,R_ZIGNh^ :H* y\ꖴ~^;s],H6>wH p2<&%rOjdTMO '̾ Q VO0G RԜo)b.gC1ɷHbW 싴g["˒ǻ(U-ױn8WL=rus|ϯ(W"k!6qj!d`$=\.? ،,h%?i?s+R }pQA!A'! !Ǒ\]J)U:Y"'{8&-fz(_@Y0d׾^},cUi)K1Eެh|o̒#ۛMͧQ{;0:r!IZǕm#EpƊ-%OkHN+Iҷkڅ'`KqLojٹRFtwF*ӝC,, ?vPbOi'}Jdyl"K6qb :$o0 6NW Ep!zYǨd)7>XY^XW,_aRR+V¯~GFU* 9Eiҩ4w"\$E ԗ&>OB\OLdxđwBbA"<_qfcPs]yQ `߆aLqlr<Pk FlАmJ1F `к"OX#[gqͶWl='ƫ{{ DÇ#2.Q/hB9UGg^I|e!3@%SEڶ,,RSfuE Th "gbɻ(uO 9J#}W>{f5O3@g$BKv#+L4p9qD3P~u0e&s^5n2ع7JV<6*ۖƀ=Iid$\Us?2K#b7+g)Ot(q\όF ɂC9:%N~.ey̌ 'sxb AY$7S< !$l6fQ1;,u6O|e)Ӎ%IcT*[ QK;