SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  1|| m% Transitive-Closure:threads=2elapsed=3.710cpu=7.140gc=0.348factor=1.927zXZִF! (nw]ŗXf1-/6vR[Uy{n > gA[@s)++ٰ4\!&Jc>BOf>fr /wⅮ8_fl69PNgM;X 2ћ PsMrsf:aF!JZD+y*X:iҊYi͒ $wy/ɩ3>ddwUt]/ݷ4$I#pWC}~6d0z'&F;eaH焸2wKhPh#/@&NON%Fla^3 @ӀQQ䐱K=bC֚{e[:$Pfu"G.{'3UF!(u֪L"A3OmWd[tZ3(uUu逛E,ߘTj%8 'ڙ"/aq"O_ vׯP;ayH+RJnWh)H bgW=uCd*@bvhpX5|;\] ۳]8կR΁gƤ.v )?ǘz66}><|Ms~|VDog\`Z要T(_"Ph϶\j^`+U~+eB)OQffmEIdI)v33XVƠ mXZf_Cax%9pGL5ojkJ},Q_ 7=\QY^uh *^~PKP'gYZ7zXZִF! w]ŗXi% cU3uZk>H[wG37VQ-ŅȝGמMIm:8~ʵ3I[0vH'T!wjO:]J#z.ĚPĬO~Zd}0TB;6W_LdhHFScbrT,Tij刱>a$K08~/M Rv9@wu #}jߖv}$o߭ W Xm14jzDL{g0 ,gk2E6jܯ!Ǚ5COY`Hl%<-'YgI?m!/Oi;r$0BG(#VQvfeT2f5۽?^]dp{,0I#WFp_G2z,=^L4YK/xjNUN#jsP,%Bm'ӽ@KT#v }~Y*i83L\3rCDytiʪC(-lN2vߪ{7 ưR8˨wF,gǻLd~;x |'./VVFV6"6+&бS`7gYZ57d832db0aea24c58f93e26834b9d0b95d5f2f1a 609e7c203fab9c1b15b154da117a3e7fd2df4fda 6f9b654c00c3b3831c2295363b420f3434de18ac 8357add3030daba39d07599599331240c239884e 9374549e9801196a63799f4a9b9e76a7b36d60a2 a73e6f31a63992a1aaabae1d886da29a4443a823 e11a13098d926e9f1c520c7b8af2fac038a923ef efd67b472c3e3268099a451e297bcdef800c613a f54397db183df16967fdc6332256a0179adde7793b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd 9221adcc8dcb4d328eee3595ffd722fa0387be51 2fb151f0fc1aa6354ed81bebfc18ff19269b9867 e9d4aedfc88780de349203823bcdc5a3a5b1a7ed