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 --P T$, ]/ OpSets:threads=4elapsed=14.437cpu=47.488gc=1.180factor=3.297zXZִF! ]ŗXf[&Zyq1/F˹1`2W yRO!_.0ԧ-yOV.H }mc Ev(^C{ktnUݓ;W T eLOٝ39t3,V!e||zO4|C+?2aLv=F`sQA}QBZK"_G)GQ(P4&V$%m<iЎYClye@LTsS/}C>/ 4`U7z-YgYZ7zXZִF! S]ŗXiɟ@*ajmSZa2_)ӌ7X(z[S<0}8_qni@P~N%TjJ*V5S)h\B]h%0Y;Zx,h]a%NȡgYZ7zXZִF! m]ŗXi%L 0gDhF:Iɺ/vu:܋{(xnEgyO} UH){5\H23=a",aI;繀T0FfO{c~8t_:m|O7% |؂t EMbe|һ`ۙ2'x*_l8Q]ׁ}X P{Fy6ʏN8漄ձ0tHuIYR TiaHRe#TOQ<+#޼0EZRl%o0U9le$MO&%jWB*;`3# TuRώyḇTگcvL'3W#[YρnlVQ0/8uI4$.wïD37tT ]J-Z-|BNhEJ9-ɜ,1Vo,;31Ղm? %h]K \si"|֒o8Hps&pT~ 8D1S>ڏ Fy$ÈY3q6DH tAUdZҴ7&HbN2Fp0&C o[T\o H{qQ8v^:w= o";1F3.i-배[l.9~ dũyob}P)#~C2^U&E!κ.vϣ9!E QѴ庅2\Ǝaֺ;n _6pJS^{PiNފ놷q"ͻI,AS n؏}]>_ʠr13;EfAFxm,NR>޴׵<+gYZ6e056c77b33600c4a273eee410be37aef804ea0ad3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3   OpSets