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  R R+ l ]/]Ordinal:threads=4elapsed=4.281cpu=7.860gc=0.408factor=1.847zXZִF! ]ŗXf[&}^mBσyJV?icai A9WBIpXI6k*~ŝ:T*rij 9<^;&%c mڳ agYZ7zXZִF! ]ŗXiɟFHuߑY_IsλtiE8ah$| c*YKwZbg>G_%PfLu`8 kɺ,ؼyszYI9"Ϸׂv\ Pj8]t,d*p/~.0<$ Dn g3\gYZ7zXZִF! 1]ŗXi%Eb⬖C>Cܲ(>#[?- [u%uȃXk>d[r!=9ʿ8eq[k?$V?R|X+Hn:͸odPB֍$$H?XxZ7,jO Nھx?7Cœ=mFKNoZ&I-3 9P "+Ĺ1P Djx`JZ YN\Fh'Y4\\AV UX5ݰK"%&K#Ac@lZvA_kK~7ۈ/&]cPvw l|%90 l9W=?WNu8(ص,&m'ݚv&96$R wOU⅋!b.Z3$1@lZT-3|Enq6L@). x8Hsv}qJ"auxeE+ =MS# ('UB2nAVz"rE(ͪC Mkmlʙv&ׯ{9OLfi;V6߆c/?5nZR|UtREM7 yV47cs3*Pm&%a4wymD S<.ϏLjo>zfa|=~)p1 ėOMI ,6r$<"ؾȣfߢ M$+ؙ{g5ps@)9'YR(=Cc .* #xe" cUUʱgYZd1e377973341a57c8f1c98d3af07a62a0935b2f187d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f295914157d684a94095eb6065b575a571aa335145b201   Ordinal