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 A3 Dd I MonoBoolTranAlgebra:threads=2elapsed=7.891cpu=12.128gc=0.360factor=1.547zXZִF! S1[]ŗXf1-/6vR[;hcjlq[}'Qbxǐ&87a1lBfNV< 5%'|a@X3X xuAiezlG:|9e.tc ?۞tܖx״z.%߷wN@+I2&O_oNMo X豙>7k^_~sjbٔvN,l7aìmB0o!V{,#2}GKE8hQmmTyƧ џhIɳ*1t?TCk ;h1$s1n #Ģ icL{amʲH&o1{ ,lg`'rN 3 MonoBoolTranAlgebraWS8K5F @MXNX7|l`YSRG|Uo煙nW4?N^cekM>dRO@m@Õe"{wW])koBnh(GW ͕Sߵ>M0ڂu f.QGA Dq ۜ#bRUWRYOI$FIZۗfKO䋼T0!v 4Ɣm|-]El$X㧃2 :ߢ\[CӨB T=V`WLN=FxNUz|K@ZmQ.tחCB y(@ Υ7oΧSS\yxKJ2:;qòX l_C[ŀN\+sd/|n׍&FZkIĮ*zwo(6ɎPi02p!Фp 2H|xBp!ׅ&-3+I(uTY _sgYZ7zXZִF! 0k]ŗXi%2+lK)kj EWsV}:L!AYAu OIf4TQ#*q,Yǎ+K7rM~g$ L Tψc~ɥc uݟONUH2] 0ᵢ>2#.t--!_::te5S$b'i2F¨BQ樂.bσ͟`D0:ȱ;[@"Wq'$CzB'OqT$S96@3Z)_;+o6\!3z)#T`_$6Mש{ wS:ZRQ ho=wIDqC<54c?0D8W#m沍*Qt[HOg6rHD R