SQLite format 3@ .;  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 ' \l ]/]HOL-Cardinals:threads=4elapsed=13.772cpu=52.008gc=1.680factor=3.787zXZִF! ]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)sܯYUa+:F#"ԏUt +{9k#&р{z]xPSȅd"nJ \4h:~42ܧ[z䏬KL&v71N.YqGa#_)xSXtùqHA̬ U|`>P[t+ݻhyde>mߝ&MFtĐO2+#_gxLUun^kb$9f.nl:]p8ٺjvoT'ughA/K"7ȸf/(,p3"3֞G$t8)%7 }z+WkuNzA7č<8̿bH>Ž$1&9}D`38@?ž&Dw󲵪CGK~'z^EDYٷ>zd~xX?% Xd~c>UxMᠼT|H7hl"AQEuNOW{/ Kin4C sCo1kIFOiu 0sȻ\vt-*]@~f#\K!`ŎNۄ콭M !$^ֆ|MtO3{u[`Lu($㯒_JHtw],}lsGeIv:S{~L}[L4Cu%>Ѩ$v1tď]QHqy5Co:A` UQ),bq| "BipE6Ġ_ *ՎZ1ɸi0V &]Prﶟ򨊲oM:#wa5LNݒx/Oq=R=lijᒉ΢vɡzNB ;G*Dq/PBRbt|M. 3/`ֽ0Yt,a)z]UdIDeDQ<~Bd&c"jR~b8P$S%^7/C zz|)Y٣$N8 n#zb8rw g~BA5rU0\ZXwCèi;6XL~ZFϢ%}kN״.Ŋ~96_hna_26M"G]Q> M?E 8!|`PR]١Uy'V_ d wpv* _a71LJ9Ⱥ E7MÐ{ATCZbewm_8!3R#or@x=Vr>Vi f+'=ˌJMEwv'S31?-l=)iRxq}3̧yXgαTk6r]{GN1ҁeLi͗w 6?,b&h놘]CLzKhmnIc3),8NKk N-Vv>6'ԷjfRRo<$=w@}Det`z@цŤN09F,C&;*E^t]90auw&]p{Q9@=]jU3 j16$O{V! {%2'Huj_9{ \IY\bIyKB nT}5"!A64h#Wb;voNAӄDzYL\:o rB.Flറ_