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- l|4 ]% Orbit_Stabiliser:threads=4elapsed=8.964cpu=18.472gc=0.508factor=2.067zXZִF! /]ŗXf[&uݗ>snCNYk#$* J1OI XՅY5W9.[ݪ;0 MZ!$Dj'%f{p$a>uq vyAwk׺>E^||ڼC *r؄ 'ZO!I #:8U4uLjbg!PIqFL: ;o-Oa Ee}ݫﰜfYؔ#[F^D֢a`~i#Nv{[5y@,`}( |ƓӝD*ע>Ki  YgYZ7zXZִF! x]ŗXiɟC,|XJQWpnz|9"癫="gc؍vsf=ٱfQC/NL=h`]{Xֶ3^%plB|bgYZ7zXZִF! Hm]ŗXi%L xYSJ2탤Uӂm[ǫ1-&ێLal+4ˑtXgd"ǀ(\{ -M(v+y焤PZS kHq-Wtڵqo@ #M髓1 9* 귚1ژpCIC/v@4]4cD*(ٍzܦhSa~"/j8Mqc#C4XyFNb 81okT߻IlA %ꉀضpPYdFB0C.g`yhUœ39:E`v%%XO=Y%G{Hff@A vxǽdc}ek)[~'ġo}[MvܭpZ%yT\1qm%f fBZ]m_<؞.+?)CA' ,wǐUh;J1YN$5lMzJg?NǞZc.L@-`&J:ZvSrpNO~%RAR`1t>5 rUddOj69z|3(g\DF›OcL_g7UU ]F[xP~gH'!vfq0!_]A[i?mlxqqc9/(!+]C#8!=[ ^ OkྕD5;֤{ iru$ȷJOT<- 9L]k. DGD'57嫱"PyYWvZ@OZy%nj)'Zܤ2XϹ>;rkF;פTtg8,+A `AgYZ6371696f43a521272d31d38ba8c928b97b176949d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84a 68e83567f410544f1ee969efc186135725f681c5 699bdbf258f0abde11384880867d7af53de69489 - Orbit_Stabiliser