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 a- lL| ]/ Constructor_Funs:threads=4elapsed=13.168cpu=7.256gc=0.248factor=0.557zXZִF! ]ŗXf[&gZv U? fݴnN<ƶ;&ČG~|K|7WX׿pEHMqvR7E1z,sCRO`qX hѼGX]M@} Xک$.E ѶdbgYZ7zXZִF! `]ŗXiɟ.6j@׵|Ix"VE@|yp]A䳞˜yPkj0Q~7h立eqAZ;q`/~|v%mgYZ7zXZִF! ^-]ŗXi%Ba.Zrofy`ħk:7GގZ=n .)s7_h ' bp5L~3>gϵ&M?kM>Dsyb`^;I ;|}E.ٳe݌^?;⾵_MlOhA 򺗁>[X8`K aڧo9o"8ֻ4Wx Zuk~z_J?Kf uگ&DE@"ľZvH>$;nE&NVbdu4CL ur7L3d-R#Ud%kATjv\ 1RfbGHPw}Uͯp8Qy @D*Ym0wޟ5>SU)" zrx3̓%L`A6-; XtwTUVŢ9>)va }Ueq-&In SnJO/dw "x }%Xk^ns)X#аjqAo)~^B7RzتX]%a:q[v>S6}th=AQ1c2!F&÷4H-1'jM6v$[ܝ] <%(Z"+7%]iiӂȘ !-Bbd7q_\~@vA]8}^]f⏰'g4m*U= _A1Kӱk]T0lEcYz<ɳa!3Z"}J5lwPsY,i0>[ΆK}'j(CXRUO`YeC_+AY9REaB|דj &vQ*һ ͞b!| 9I-֋7юܟ7杸AlHѢeZpր|?GjܵœRWvT Jt'!2`1nZO;U7Xfc ."gYZbb40c3965c0596f921a2c924bde1a4e4077c6e673853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 - Constructor_Funs ::C-Y/ tConstructor_FunsConstructor_Funs.Test_Constructor_FunsGenerated_Code.ML7zXZִF! 2]9 ! kG:yOͽ:oM߭cC>lf}zCg`kjN$+d.8/.ˣ7 ֏0 z;:Di&ߐⷯ?Xb-FZt!B"