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 66?\ w/ ZF-Resid:threads=2elapsed=1.624cpu=2.676gc=0.000factor=1.657zXZִF! 8]ŗXf1-W[lʬg7]=e/+s|5 4@>޼.d bg5ec OqkJ9 {etU\M=B a񡣹i>9}v# Eܘ2 j]&XxV?=aHw j:WYDMj|22^.5J,: :@!-o~|,q=S 9Ϊ33{nN%.oF6 &|J^+lq&7+'Ա2WԹ{\Ǿs5   ZF-ResidaX7]^.۾*A d$ZO^lodbhnuBhtƽ*riJFNo-BŶ!oWb1I@K7 Ąbrý7#ʮL͓L=6cа@2߫=^p :gYZ7zXZִF! q]ŗXi%Bngw-Ọ? 4,'i. Kmqx'C4yu«cט9z1PA9B_ #;۽&m[rٿp=2F|id8BoU( Ԟ['tVC꿨wN&I:优!CkN& w/rR$WocE4q}WMa4vKd׾X.۠܌@8UGٷM)ٌ z~ꟈCGӨ=8ԔUd:*,%1 ηh&lvx̡pqZrsMԮ 5WRjx%F*hxi~0]'o/l PnA,82I 8u(Zh{t-}>iL&Wx~X^1!ӯ01gǀh)m4&PVtgYZ032747f70e60c520957e25c149f5177d8ecc8f72 087c424a70f278759c0b6e4edaf50ca1393d5072 24ac677f35b56d2c8077ac01c99e36cc65b0c88b 2bc3541bf495d2b2a4276766c40726b199b51586 8d81f5a8f8401e6ebfff506f46a32901bc7a24e4 9592cd180f59747c87d30b37033b3adcd78048f30dae525efa6f84ecf34af93ff7cba31c2592ec0d f6a47b4f22906172279ea9ff188e015f49635c58