SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ( d4 ]S Pell:threads=4elapsed=12.126cpu=40.092gc=0.536factor=3.317zXZִF! >]ŗXf[&.y꿊xj>MX1M$H `q=*]:-,װmxLmċdO:r>,X˿#s:ΌkCzا;ϟ 7'bP?޸_)~JҶ+џۆ3ĽgGYp}govvJ@U>Sp x=,RJS#ZCD3 ce^(KiCK('==;xeE@0 DēƪuzcGcZ:ԥӞx-t넡\/#,>y#'q V!d U6jY&2'C6&kRIoy"B <2> "PԎll3`,Bl$7=& Fh$7sH pgYZ7zXZִF! #]ŗXiɟ}]B)Z7|; jZ?H[-v}Reo:PiʼGo,&/LQq X0 oUc[4"8@GT16CUW0gYZ7zXZִF! O]ŗXi%B40EE ?lG})\B^dxC d\!eXK۳Xzd>WQba!Ae ߆gݩp989 @fNzKSB'WDd#,.Ƽ_Ze19cw*ɓ(X髋 >̣ic5L(Gjh_.n3³[2kS\_a]B\,("dJ=((sA^! D/[SAnlk W K0Td?>6yʊ*B-|c@YPIYzcba8Wv!F6y=W TN˲cX/8Ǎ,+tkX wپwSËǵĹtFtK3O60p4BSz# ŐWX^ %"۝ #?u%Ҭ tUv XX4J#Dh{ Y&g'$w Ob|^P}N%>YTU} G#sxA.KGwXv(bWIk:Y0-CkVZg8JfN I"u^?7i0yU̼o4Z9P0&|z6/ǡ`?`:=>d[3.Tf&B%raZOgy`/D@ծ*QNN $xvbƹ$DU޳n%0Ƶ9X\;c>P[^G8.򷋞N:<Ik'q]56cAhtrmLc Ԃ{da7Y?}`I3S'ۇ5"&ߨba~P#5"~SqS)綅5 0EBlh3<_O}ymBRNuRUfy;1q}>ޫה2E!81C=oS ]/"UjhFjY$ gfagYZ15ebd64e868b0ddd2615ae44b5eafc01a71f07829cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c f83d9d1b992c26af0df3bcb095b2e78e488da3d4  Pell