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   a- dL ]/ Constructor_Funs:threads=4elapsed=10.528cpu=6.128gc=0.388factor=0.587zXZִF! x]ŗXf[&gZv cgj 8> *jߝFxWIOcO_8F"f ^Mìltʹm\{Dᴽ9ie($kG}rpGߕ6 k)GJQU`iylMk`,H9CT"gYZ7zXZִF! `]ŗXiɟ.6j@׵|Ix"VE^0嗦[U ޞ29 ̲)HCg8(e ,"QX|v%mgYZ7zXZִF! M;]ŗXi%Eb⬗x)Pwt<Ig4N 3/I^zyeq{/n+<0|,䣙o3hתU3BF'~M6č&bYVcOv\)F Ɖ" )d2~xٞ:!بp-#IxVLAI98'K4^3ʛ2X26  CjaGY @B- `ЌT7 c(_Up?*O2x>~珟hb&Om@טD)I'8@+n]cRW@4Jj:YyY+*{޺*ztUQܲcWQ4̹Ϟ|(-w+\VL(͒vCy!s"l,#p͇5)Rob;(-B)*$Sij~1j bE*#gk-8l"\>&3mJ"iדcߊOL 4 6wpRftd]Ql㟣\ʬT+~Bw|J^JJxԨ&u {.Dit~5|R}NXrR* *I>PH-߶:bfweRfs  ܯw7 ;<!{'YA>sY I[ +V?`h_ 4~ ڲIlV7#̺u )s_4ͨ m,kD0yrIlXQASCxfَq5eDjv).Z#kRMV%fY3KD@;Q&vCp?.'G^q8VuqQbSsKoQz  BG^&h'A;MJd9C c>*!js~)㉏/YS>.]LA9b;pIݩAf75ŴCmiqnpUPKڮDzu E~MݞgYZb2e94801818652b2d5c6c64c5d1c39dc0619a71a87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 - Constructor_Funs <<A-Y+ tConstructor_FunsConstructor_Funs.Test_Constructor_Funscode/export1.ML7zXZִF! 2]9 ! kG:yOͽ:oM߭cC>lf}zCg`kjN$+d.8/.ˣ7 ֏0 z;:Di&ߐⷯ?Xb-FZt!B"