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 qq  $L ]S Pell:threads=4elapsed=12.367cpu=41.396gc=0.440factor=3.357zXZִF! ]ŗXf[&.y꿊x G%tN6†Yd`(K /$YLT1Dl lh;P'W3uhSczNA"I ]̛"lz\qdyd.zF} +:O%&։.k,<)~tnfSb B:yi"~/%~~GQv"5ÏXU+u.v}:{fә}:þOO~3=ke$pDz,7\aqPTgC,zL;yNy$;Y%+uƻlŽEIGwPtS f"\-NK;Q䧄fZ$^vU/k{!^Cjyk+ x̳=ҧ/`%VndAh<94Ѱ\IOOJd,m\PP=ԃ(oHY ɀxZ3gYZ7zXZִF! #]ŗXiɟ}]B)Z7|; =T`!_>pN7=.޸>O'DmW_M& XziIuc $ѽɺx  ?&J;_mKql4ʱgYZ7zXZִF! \*]ŗXi%B t`({nku<lqѸ8Gd'1{&*]#vlO9ƧW]WkKNAݙ.)$J93 0n^YNr~ZԢ__ɸF*'L{Yv%\NWw8gx NSM1fcq8SBfjx|w`^ 8sɕyn2 !L*OTr/L K-v78+lx 0*5gjī_e7Qj5'Y`fbgϼD0q#YԹW펹.=}9}^=~X|)5.H P7'O#.!s !#KŦxO~Rf:ͪ~o:|3X&֯@x w1ѾH"``'b?4 ƙ'yt4[Vϳ+Feh`62 i_쨚7w5`K,Fwh0/E1NYvUwz}l~;?YRG#)@z(y>+/xSk(bd&Hl,#NGrp_zߜ88]+5: {\sgYZ994ec0bbb3fec33a85897ac7d9cddd07025d9182c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c 005cb0de6b39b5f1f9153f1dd6a340ee1f098f94  Pell