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 $4, ]/ LambdaMu:threads=4elapsed=7.547cpu=15.968gc=0.392factor=2.127zXZִF! dJ]ŗXf[& n@j#>i#V2vG;thc^D9}VZQMVdn ^AzkH@%Ũ&[ ]*AǜsY 9yQ߿gһ ^Mf)ѰϨ,>+'_'UK^|՟R g0Hx}[4]y:8PN".$ 4,EݼL">brD&-_J>HvX3!yw.c$N0"cVt,=AJp!E2a!F!XCJ7̾FFT}$3M{!,aO9gYZ7zXZִF! ?]ŗXi%Bj6ݮ/;w"?%Xsϼo0_b$¡AN3Cw eMذ_=1'6a +ݑ7M_5㘎W/$r$6(DsA"?pLk~* h;2joF.)etg`eWW@'O~FIͧьUye?3 ΊY_/ErߖOn 7f,g#yJj/ OAuŹ).(s&B_=&å|I"7Jw QV(tTAرt8<|HW]4vEzLw˻e`#ҸkYz[f/g B#eXVg5?jNJ JܓPi'?J虬*S#a1݀HIIcl pDHM#* бMaJ+ +< 쉧ZmǶ]|'/\ Vʵ$H8X)7bKQ$mݎ@..Лg@]+}zws 'V>)G6;:AiI9hP>,&ёHc4xT%dN-6KDpsσ_oVס,w;l}B@d X$F!\@hOyTF v4xt+)AfIY 9Rk8Oz-is5QG$f{ N{r%sK^pOx)KH9NBo܀2$k■Mre>OnzyEo$-Ar͔+2_^Y_m.gUisx Nfw}Ϲ>'[݌4? TtI*$^.N~+`=@ŭpC^vUu:ؔ#cA: _*@%7vi؍M0[!,S=Ǣ! 0_}KKċ%'6 $0a 9a@zm·= {agYZd0c136a5ebd1d6771e0445423d2bfacc147429e83853cc710de37a8d8ae8e2ce10739760530fc782 24be91445dfd95ccebd8630650aef4cacbc92e8b   LambdaMu