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 o) < ]/ Card_Multisets:threads=4elapsed=8.112cpu=21.088gc=0.636factor=2.607zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjcyoo~}ӧӧb$c" Z6K6eI Fg00)3bDv BH6'A1~B[M?dF!?)UhR"؎:npR|8tįۿӯ#c+Y{OU8-ƪ澴~lq,YJSNЛ YKTɚgp|ȘG nB `bJx/FE[f́? XS B;Gw^έܶc+Pry[ksGI GzS घKWKOo39bЄGkv年ߒ P; 2i`WH?0,q@ñgYZ7zXZִF! {]ŗXiɟ1˦rYsxgp9f閷VxanHl#8Ca6 N0Åͣ䂩HwiMQW!q*?fV)~Vi`TgYZ7zXZִF! @]ŗXi%L 0C Ȋ^& >g t}F{Dqӵ8<0 =~l$֬8BY$jc#=HqgA]CWM @Kg㏍pbZ'-\=1`j@&HmG[Jf fLԇ rOÑ &)V?3妞R dhӪ(0&v$\>BG_<~Hn՗/lr^F U}u]ǰEj=^הrZcݼJ>); Q_ v|q d;>-@5,*L}W Vly0] ΙyBb;C!u8(TN KnGƲ(/ϩ+e'&tN MP BηHY]I[6>C鄇xE#sm.\{߰ݥ&[$`yjZZ$^K"}TùsΐR0ﶂ!{dl"$T8ս8]|᣹zs25|L}'p^d"8,A.mcX y>Ypsj`صIz= PeN*e"P'LmzͻU{ BgYZ29fb992727da12c8f59a5305210636bc3d8aa7a8d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 ) Card_Multisets