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 6# \Ll ] Rewriting_Z:threads=2elapsed=30.758cpu=50.600gc=2.232factor=1.657zXZִF! af]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^S4 ff4fTO \څ*ŅJwspH;/u:*OJ 2xe+ϲ- Inv+ dz]MVO'ĉ2| BRqv21CT$as' d*c-/WGGѬNFux Uޟc凸B׸u8e0%f9YH*S4br2e#/\jE}`e2_'w ޙ|whD׀AKUbr? {j=t֩MZ+WKy9} sNƓUVZLwz;(?0oO{+ fMAXUo`]`P"s veU*:"XXjp`Bû )kb(o m+5}ۢ7B r(5F0E :sWPV0Wq#YO)p5f vuL*PBSZȯq2w#fB *W{S*YnCg%;??zP}z(rMf'hwvwe V&6%ɕ-hJ;6~gYZ7zXZִF! ]]ŗXiɟCrhi^IxDY?Av|7\Ӱ#*۪?w^–C tp@_p_A(eFP7~ᦗ{;'zU,HGIEwIp.ol$o29c=ÇH[d9^k rۛwl8+&&I.5Dx jDIt1ȃ\6PV+{ޛA.lt5S/ `1%qM[%WEQ ;-Ȑgɒu-g`gYZ7zXZִF! r]ŗXi%>gr?B$6[>gbVoAǀ'Ad"z͚> x,9q}%+7Cd'H[$@^U7>u$FH)H)D"BhFdǐkm4(QA٢A3&iFt*%ºnRw񪧰3%A% Sz;h,k_!ujzQ8b |a; ec6XAY'JoEjC^1x[!^àZTO&!X۪x !9>Fxh lQ7WZsf2q} YLv- a. UĶ'KIc%P'ήA邓JSg"$S/.};7(tʦ|o5^Ae.Kȩ/a:ʎGRc{hP./Dj/Fķ|ͻtb*󨲇(As>.AQssT"։jQ5{ b-ɴt|1޵;j猷^+`H[>9 O `ޛ`CZ>U,!ybyԧL*OhȉtJ;vpA0n$/6i=8cGHr^Kiu6$"ww sk/BxM7Oh~siZ. hsPyO6%_j tAv?S]ɹH_(^A {~΅mUBP3~. yfLgf\_N@92w)۝d4s/Ҟ:QA .ܠRޕcrl>/!1I_ZMƷ.mlʂ5\7>rH'es88@KnM-&J'v"51jrx߹s܀ @r0-OcyToENHWלz6pGRT+m֑i굻w> 3={ffkrJ?7q=0#!ͅ( wQߤM:"Tk+7bqq*‡]h1:?Hip}ͬ%dN}U k;*;UǝN=DڐCs> 4qnF- 6(Z†aqQ4'VqЈd HJA~aƖb87KjcT'HP}2n !"xb=' 'řxvnYufﺗx8.gᮆS1 F;7혽@/rYW{ P1rU)Ar7G,bIߌgYZ24f9dfa21f2b438fe8f2f344ee38e37659c976cf97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 db0e3772279c52789caae22d8917284a6ffec755 # Rewriting_Z