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 4 \  Category2:threads=2elapsed=17.938cpu=34.136gc=2.176factor=1.907zXZִF! b&]ŗXf1-q恉 :NCG 8vۗ?xWfkq6gI"'8ҶL/d>vf:#dKDSs%YRy0Xit+fZz!~gw XgdD]Npzv*?w|/~ M#$ lIX}jtQ$up'wUo@⦶WGuVH[Tp4`ɫeKQ҆#qIz7N$mA' WGS4%KO< ʏ3gQD{ Ԋ~]TxR+T'˥7_ҤV(4`O?}G]H9bu !LJf.zz'F}?_WၶӴ먢Stqb4)D{S-u)|RSw]9RaZ)O*2zčiF5Se6ŗDW$Ж^`5_2ϡ3BK`ygYZ7zXZִF! b|]ŗXi% qsOC![)W#klǭb1#mهeՠx*˽ *1b̷vS/HCq|NlX&U P|gԩਾ4 _cq^{sـ5dY\26 q2BZ{$\~ڭ4RLz&vAWosia,˶l/"cXPF|vi$d1GqsԵj[STeYoFc$@oPhe.@ <|T O_IDCyu6=1 iyv6Y'=˦2lSU!9A&)-H$xpP17b,ܧ'l֩ϩcWJl.3WOgxsi>ɫK)-|Z0,2T AIOmǑ7MB/)r,]pI15EeWahuISq/jEY|Lcc8۾aT$3|D.}*J:ѸG_Xՠ7`KId $.}HW`8ZCi vO(6esiE5Kodr'("4RYwRv0irt2qLU6 h"~ CvښhLj[T6U*kDx;EGtTʓ& o w^DVu@DL4{u4n_sLcH/ E|M}iWy=6+:K9a 0"vDNaCHeZugJ`޻zCT;wk6y fWgYZ00cc22d1e149de2b56ecc5c1b1c9acde14f756c4 1a85d643ff9daa78dc2008ddb49d7c4038929bd2 2eb5625e56755fda5ce3401b40beed5169cd2f93 513a81bf794efc8deac8947c77c06afd61249e42 8282a16f2d860a70a7c6cee5ef8261c8ae19609b 86fd7da255e0657d15e775a7170bdc58487beed1 8d27736d7b5020008fcc2f11d1d6e066fbf5fce1 9047213262f305724c9b6f8d7d1941eb424a1a8a b000116ec6ac689f1ec762430fc478a93e7852d1 b5cc46d4a62f20ef6119a9851a7ca12f33a1c7a3 b655cfe8cb22898d4b4ce5762e1e15db5fa4599d c5e40c169c35a0861c6b29bd1a845974a762f502 f061effe1a39aad1953557c0a1606fc8143f9a30 f5e82ea1c278f91f9937efb26f3b0956a096c71f735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3   Category2