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 p+ < ]/ Verified-Prover:threads=4elapsed=6.790cpu=16.288gc=0.344factor=2.407zXZִF! ]ŗXf[&IXܶ{eulvG<}, ;ںuySVLPRP5$=bkú^b &ER,!~rƹ9Qw5n}|C v<1{f6 e*%1)\N4pS:¹Gm=2𘪥kA;'aXiA7fWJt$S`[e*+NFEf>Tq"hV x/ jʜ6~wP7Q~gYZ7zXZִF! JF]ŗXiɟ@: {GXjWwPA/;;}),+QC_TVbK$C}YZ7zXZִF! :\z]ŗXi%GgPM%$[Bh,ωʀK)g!Z,D{EYc*K2~:$kXN:I5B2T_ed:os5fs*y32ND^ԕfƔyE/a~^[bMd$)b(ttTN(%-5mq?bm޷:u֕BJo|+D)u\YevlYL=-XG,tR"/-mr(! a[~BG#Pq؀ȧ/ Du`<ҡ=2+Em/aH I>_RO15" 7^Aa-IY"q߬ɩHӬg{tC(S "A~-5ZXP#Wvxt.H8}7Z={؈X=$}|7}Cx[mw<.?BFn ͯh`-k6azt%J'}.jlX D=)% ϬVܨCqcby)N#7dp$dqw,uAQ\%ȵ1Rl"=It)vc P%¹OsxON"g 2I=d ө)S`"+9b\P}Hb~'ꪶ5#TUWUl$_Eأ[rD0` 1bPa3人D3 /+@T,3A-b,g,xah)~#%䚩DNI[9 0T$DŽ]&+z.a~)S=]sQ)[ulI9g 0i0e13) %lSu8R)⭐Q9DR