SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  |L ? Separata:threads=2elapsed=14.220cpu=27.260gc=0.740factor=1.927zXZִF! 6u]ŗXf1-q恈NucvAݪ4 c?[2C IfW/9^uV;3! p28K"0m'"%Qj!i{ > sp Fˊl)3li,&cl&[M j?ɩe  Yϼ︕9ZO:;02wh&i!j8=H&ѩ~utlҟQ.߼BVQ]';Co.q $ apt(^-~%< l(-R?' /!<ïTcqҴzgsM\-^ (HhƁ1iFɉ5ԬAj8sJAEP3?1DTni$mEޔ =[l{3!odǮo `nyM/MfYn:P[j+ND䟥3*|jz$¨p^,#A^S@״i.#]9(FÆpOcDcu}•;R;2zG- ּwQ=`D +qLĴz7U!7oW==fe TzL_۾J-EïJ^XY1۪ ͒ IF/5K^I2Gh9*ftkXBr'̌ܚx@A3 Q`/TN9P (\qsl?LX^OYR$`[;bZaeHWxNW݅quL@6JmdMx%7:fDh1peiS|Ʒ  8ZY:i.H钿X|ucl} d4Q΍HEU=đ\A̽ &]Ӑtu՚.'9G?dDT釡w:qsOd<9YQ 9i-Ca%y+e>eQށѺD@7jr l@OgYZ7zXZִF! Mh]ŗXi%?=pj72/o,h'k1:QR,O'p ,W=?cvB5*RejxWw· wWg>EIz6q##~^7?bGzC2sdKt*'~eJ)aDiiqFbb${]?m<`풽|5d8 2TR!Q$ zFNRv*8@O%B /8nǜ ,"ʙ>` =!s0T\t1+CA'[id!R.J8Lnq x׀˛[R"{c'vڣ@2MɗF962Qm&X+UPj\FH(6"ixp4S(ܣ_؇nu@^-nҖS_F|63dMCxpe4Nr$;[!q MK}--AS,U&TJ}[ph@"A=7P j7gYZ0d624df132aa2e54b02fa619fa707a1b424b9830 383dee4bb60284cc7229af5017def9c12378879e 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 8dd70fa76e1c109c39acbd6e1dfe1f80378b66b1 973d6bd96dc9037f8676681fb869d6ae83013aac a5bca924baddbee28005fa4c98d7271639462477 a751747d8b1d2150fae6ecd5895030882f23af21 d49138b595939baf5780a53efcfb4318f28501d9 faece66b380b9b751ee2f584337d052ed97b42addb7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259 e239851711910a6527f92e8db31572ec8f52b3c6   Separata