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 ]% Secondary_Sylow:threads=4elapsed=3.546cpu=10.744gc=0.372factor=3.037zXZִF! ]ŗXf[&Qe_ u]v+F0}bƝ<|[$'6$ۙ8ϑ2leUy)M|#$a TW42J L\x:I>rAxt#N,VIp| D`T#O~w;4Ο'zyy3e?,4*uE/ޫ}!(=&X Ģ9eq].K3 wS|gYZ7zXZִF! y]ŗXiɟy|1J(*BhJp4N=f/&Zj_o7$.e=.V `~Scj{78ܣz8x@K|׫)W$9Tb$̤?gYZ7zXZִF! )]ŗXi%B Y:h䘓 k^0go;!lU9<j\5 8{z=D'bҬ*7uJXb3YV@(r~|~`+M yt(S\:@/k%Tv{ haEn¤*{@RiqGd`$B3&O5*-5r3rv=i^P/W?D\ OXw퀵kwA G\φh plrCW^6,i<LJ*h2YEUy!>U?55RSZk<I#SKbOQ ZJy+!v +jX0x LyƥYْIm::x*ٱ\lqF+p[o"jĔN5EN3Ik5DZ t7;}[ W Ku(ʝ#!4r6SO#qN%SiK