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 } <4 ]/ LambdaMu:threads=4elapsed=6.557cpu=14.428gc=0.424factor=2.207zXZִF! X]ŗXf[& n@j#>i#V2vG;thc^D8"M:Bx_K5"d ʽ1lhŶFyeq԰k#@ŠA@ jͪpD) TCSâV?ՌGg-eqeMKM .vzUwntM"Uq[6aDЇ4ɩr+v.\'}N7UH*[!lE{`}8 g6;$ ngYZ7zXZִF! ]ŗXiɟ؀6t72 ;[8}$T_?tB(5}ިauOGՕ3E"LX [_Ӌ&cI뀺e+_z4"- ˯u[@avo%\4= =Q$ /X='OG/Ǔܰk~ç}Љ S#4Z)`ƾ"ypIQx@ ݣN Zqx :zQVQ+RQJ*ƚqoKe }5x3*f>"(t3 z{ M1}7Z/D d3V%k^.@rJ ,-aPYQ¾U-/Wk;[9}o\ yYMVbj5w )>Q|Ҟ$.qTnf9™LҴeEOBpsfRTS,?ٙXujvYV()v JDLne[T*$ՔoX!׭"HReGBb42YTf{@&AG8t5G*GwC?ˏ|&=גpϥ NV5ԪGtrL+$,#[`>Ol_/[4$lP1f=G*O*Q<&NbAy%Í QjCBL ?1'7jFor eBx'L(SâcYQJۛh.3}p2, ɖ$/adXP)˼ Kt֤.Whl#MN+Z8]!{N[e-d0R&1Sr9l-7RIo@ VLk$\sT &&ن+Xl>#l$̓NX_]/ qmpcFrad!^{ peט .[ _Ŝd ΅ 'zDaQKnb(+(z*:sC thzgYZd6ec6e4a9ac72e38c9057a6e112953e48a510d56d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20   LambdaMu