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 ~ ll4 ]]]ZF:threads=6elapsed=12.227cpu=46.104gc=3.112factor=3.777zXZִF! m]ŗXf1-) enȈA XR„ Dq"AHK_s&|  ՠ4\Zb $!JX,C'.Xi- -q*""}/CLeUS90;wN:>@n|d?W~o!O ij=Ί'kV%y(U7;}/&by$k8dsZP<4[MN࿸3Z<O TT0]5 =1ח'gYZ7zXZִF! /]ŗXiɟ 1FE`空Qtaf`_2'.ۦ1냓2H,*I8~e*Ǿ<86 Q_ 4~F'ψ1\1LQlN/UPe}~ jA̹`!7y = x>1JLXUXE^#.G`n˛0 -gȶ~ 1wHJ}ZKuZrba|]d@:cA^߼nN6LW}an:j"cŬ^S#IZ99PƏ2UP8x6 >]l3UE]e)88Eɇ6nJ\nǖ0PL)T!!z}z dɖ5p5Nt&c:lԙ ]vdr DUIJ |ݙ&>T㐴p474QeZ ɘ-ŴuR ~`&N8tg^U<"Q*ܒa3^҃kG/xvƍ6?s 7G!vEA6Ro% ф9=Ʋvo+껙l{=O #PnhGF 439.2 [Ee5b<3+BqB|mpIˤpmz7'O6jrB*8 9Tn \G_Lc? 螒Ϯeg|kh [bk 0*mFayL1k UH"_˩mCG\ħ|oO;mޥ5o [LҌxC^o͒.:A )2.7^_bzo[֊ġ͟,[?fEQRIACLjZ/AV(Zu6$ކxVyjLRVo#٥)YCkܫrjfEA_?:]x#:Zb WTx1Gk6PYgdp( 6A 9O/>oD 9Eߕd7b;|y%%A6fC6)ÄBCdD}ې2}(#.]e-}7)b཈!|] Ҏ׭3WQVrKlkzCj61v/̎]{k p\z$d.%^gx n/%wbݪWQm  )gYZeb94e29c506d3f4de05d2b295b563a5fe9753d7777140aac0dbc34a2951ed06728ef4449a3d3c2cbc3b0c67765fe8df0b606f4b86ed030a2ee1f930e  ZF