SQLite format 3@ .0:  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 jj , ]/]HOLCF:threads=6elapsed=11.644cpu=36.840gc=1.896factor=3.167zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0Ta0c}HߣI~v)۱?Z^P]j j+jmQ2dI-0',8V@h62m!XԝuUS -eW2@ f|<3^-]c\n8ęp4~JM Nb>VA+-o'򵑉I5yL(~*7|E/%!֋[ٖۡRb~X,`ʐЍK#) vJ( OË)4=WOJHZpgsd"o}nICsk|oKޟ-*-H"^u|ǐ^2DzH;|/ ̷Enw(Ӈɇ9S2]XyNg4yZYbaB,R䛟l摝腗QEgT.F`t+&!,W=&䦌\7+ˈ[lVDV2ڋI ;j%opӗ[%9gU0tTsk+v}Qfu T`xV<+-v# iނP=:H`!8A4>8=dlq &sBJﭹ=WCɽ4O2}0? 8 L ϐ:UcY-EHNhdI1IBm:Ny97o_86:EcQv'۩:Gd+S ŝс m10NAF͒ɰN* ꩰʹk+q.{gD|Dd[j~|t[b+Fj9% j}\oJ M)n6oB!(".r5vUip;$ɎJ+GM di]T ]n?ܢqS`8u1+gYZ7zXZִF! C.]ŗXi%BPڦ@鴮@*$N2W!E|͢i;;Qn&&M>2k)a;b@.Lm7MhA"ZE4J¯%Y× q!=DPJ!^yBX H]hG1& +Z M,O.1 V-왫i_1P/_&w$'kс|}$OKK}NGGItp-TRm|زCDpO{ AE 3&r7߲ xeD}`!%ݙJVYvuS ΁>q=Ķ3!h 7J(H2&pQ!I-;1{3~NIrӏ%l }σW.%>ómӂpelM<{[ŕ3euDC8&n}hr}$ ݽ,4Ҿ]ޞy0d*T}uP(V!|} 6o yk+sR<%:W&IKӀlc= Dόlo8Z53N5"Uu }iSde+ZXZ.ib3MdamgQ\7?NѴםLՈA[6% ZByKy(>R"iGU^x9૘BM.|]f+Gg3x 1/VseO]_!X|:M0Qob^ FR !SxYW{OU<2niˢTUztW ?l1W)Gu•MWRHyOjChץRTnBt hVeNߦqmgvFis׌ g2t72Z*JrR14ZK+