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 & l< ]S IOA-NTP:threads=2elapsed=7.620cpu=14.368gc=0.856factor=1.897zXZִF! o]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TA_w7rvT\G #a [X@-9"o GKwقrs=~Zo%tWC?gT;c$^G!X3TYd )]F y/LVJo=g+`mI|cҵ]J"*7eqgYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz(݌R0kD yB$tD۝`㕉yA'묒k}q큐 T:~`y$B])ߕBXe5'q+8fJ:[D Ïm`g0^1^p`ERC;qA;)1s_\]7zPO?y"|uDgYZ7zXZִF! %d]ŗXi%;Mv Y\r wr-&ɑVuf2S%3z32LbC܋} O F[kld7pJͽn[fFCvX,"ōJ陵2>s-|gˑY<\Zu^Sy,yr#XlbvBӘdXk9m Xd{pxc4?p Kі)J<9qzA2a0P՗ 3u =9Gd/ _9$m(:-qN  aZ\{ktmU[kguC6Sּ\ܹ6o Gc~(,^ hqb_Ny WN hT?X%gl^Y|NJ-n;S)>%pp>$]E|!>!"nSO[N_̀q&i5{w­rk_Se0,!|?oZզ:kҦTH7ܵg_o$F5JбgYZ34a59981fc174ae0e9365f88be502beb9979e823d50d23da2fba2fa66eac370561c930ef78815f64 42ad9fe34f8eb64ea2663c9e76a55f6c21a58507 f3c0eb87b6ea50244ffd6e2056021450d8313ef5 51b5f1b9721d5d25a46ad06a9690a393347e0cc6   IOA-NTP