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 j! dd ]/ HOL-Prolog:threads=4elapsed=0.385cpu=0.608gc=0.000factor=1.587zXZִF! E:~]ŗXiɟH)0%o1UWRPc+{ܒ(ˬB5%G}=ZO479i(֫L2>3w ΖC-ـ0ՔVX-zu^:O! 8Xn~[3(2o7qy|w(YtFOky9ty=^ xD@ǨM&cGiN&2je9јb&ȼgOn[f9i4s_C4͆"U3RjLoWdϯa[QY@."H g"i+!eIp^=R*XD((X#e* _h,@|;iI/d2B"wRҦ=#׊&(u:Է,!$5)a5dKq&MڊB *5W!S<,ꌮlֵH ƅSZn4 *y&,)noPj򃹡Z^:-4D߆Cњ;WdgX"0̈FO1΋{?ks1WweB eljj/E1}8 .4k|< L{m%W{.  K6\='T>JeōFmڬ2{~V2ҎIWIr4> ]G7$ ܥT,%HVIŮzz' CबxHWV}3+J3!}d,]tك6!M5 h ?-DdӔgD0q!Afd h]*ԃ(Ya9߈irX'接)#b̧\؍6aRxO8.ai5UMz ps[+̒SiN g/#]oBkb-ݦϯ-!qQܘH?9->fG4j-2)-> 1Ts HqmjL}Q6/?Tl'"ɈY0& $*FZ  @:H$ >h6ar% Jvt[H;R_< bEn #ZH[}c9eeUD;n#ԫ:m0؂3~093,\雈8ifIRk#m.&[4jٳKM}Rn1Ã>{3_2ubCNƂSVЕ+"r6)VF}GU0n_NWÄ-p܀xXwޕ>3XUR[\X,<:QdWppJlѲ5zʞ4&:CPgE2P{y@=M43n?g 2^q=ag5s:QwicT Oi2KAl]Dܣ" 4fhP5̪wJk&ћ'@5Y'//lD fD  CgYZ7zXZִF! i]ŗXiɟ11;vW Qr\E+ _[1*Z&,|1h֣ ;Iq_UY]/0&XWR1բ<݄sMgYZ7zXZִF! ck]ŗXi%L!l-?\vQ6Ohko|pK.I2ѣrf>m2'AnM<'(<\Ze*I™=iR,ALXh_tTWSRt꒽gY'y/ѱdBK> ¬]۟-抏oW5YR P8܏p=3VՂOKPG5gb & h^ڕoIKozݐQT4@xEǝ\(&Zxk#d{EDD)FLTuҵ x,8WqB4  ӱgYZ56e3ea03f23b508a3e17d9ec68704329017e21f88215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61  ! HOL-Prolog