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 8# t s Rewriting_Z:threads=2elapsed=26.045cpu=47.192gc=2.092factor=1.817zXZִF! s]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++,Ra~p\aVoj+@BDuug^ ` 4a$(j*mrlTޏ5E>D7U2w/Fq{y.nMc'|zM6ꪍYbn /C$cȕWbSym޷0ւw},|T߃S>Q{k *@i WݙE+s)?6S t$!!GM^&LN G {[BK zeM\\}RƸTʥt[YK<jA4En"Ml\<=>#4h*w`jp)ZVT`a~:=2j?;˟\zfYQ/92䍰B3iRִWeR,EHDTA#up"椹Dl*d T$ 6\ YuPNXxE kK~hsqv}1+F-38-gR/0%Y#23Px݉izv0{`597/ItsA\LC?%l9Qd/Q 9@NW9geޏpAmh_](UdߢBb8D?$ +=jB9fO4\0 AuO5_ 1WPWV~dqW r\ ]}y $sVfi@ei;[H4;lGϮYjl?h}pjT[e|J  "HztoE`(M߿g!6В#[܃,_! ʕ,J֨)Gɍrw  Y,0XJhN.qxGsz09rD>lzD3.Aۺe[Ajv;k^ 'L4ƨۂG P;`g/0?vXD,{(Y9mt]&i2(Q$IA(|6ޏm}WIWrĥ!Q>wfg✅cI-L]eqyK٭k89mu zD HFCvq2 5 !fyFmnǫ (1A*c*%EIV5 K$z/xkdi*) /f̔gDyOI.`K(k% @ 0@®gq9m0: g4˸*v#^% ,ɯ1Id:XD|f'ѶjZbF!|a> :N]`;v:po,4|inyعPH?PQ_ *Wڷٳ~Jrk*xTDhIC4de6Xm>0rzeGuV= +@ƒ/^(|D, e?#`I9u'5`5Dz,LW&X|}ߧw!BVʏ6@ˮ_iızmCG҆9҇;QfV?:|(KiCgO#IȺ9Z FO5[jcRc.lN@XMI\n8<=ţ3竔A|g25帏߄{|SƊmS~ c.{q'o=] EKЉTM€Y@7R8)w81T9!> ?-+ yр+C"U.`JPG򱯹:G.E> c#6F nIoCPXxD1)xݜrߒŷy@fP8@i_rQe5㿛GGHh3# ;˕Z$Z%ldZ ppNġ?EDC?bfe)P6 D<4K&'|R=]A8ԝ!<=tf7c0{ U?xQ#oITQ- NE.gYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 06ebe7ca50cf6dafbe6bb0448fe069a5d0f47c6f 0ceae5ad06eee8d958c860c4f897680e8782696d 0d624df132aa2e54b02fa619fa707a1b424b9830 19e2cf0910b7071efb7af8472164cf296f5e5ce5 381df363fb5af5931f68add2be63eda5ce000611 383dee4bb60284cc7229af5017def9c12378879e 3d085b2f15013ab9cdd8983b82002e5b7e45d759 489cc83115622e6abec1120f6a9cb06376b51e20 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 73424ec42caffd4a8d5e271a9138c77d0cc43a99 73eec23e377618f2dc3093471b0b5d9418028105 81de4762b4e143259c5d9fb6b097811906b676c1 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 87c940b52909a60807a7fe1fff397bafe6a6ce18 8b4be71e4e5c56c889cd6007fd8ac909bf7b3d1f 973d6bd96dc9037f8676681fb869d6ae83013aac ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 e0176e519be33fa7f7b452fa7709992c0dcaff94554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 b5e055b7730d17f9af58593a9c4f6437a57c73f1 # Rewriting_Z