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?+ t\ % Card_Partitions:threads=2elapsed=5.818cpu=10.992gc=0.160factor=1.897zXZִF! ]ŗXf1-q恈͐7ӺV GyvpP%; fQFx IR'u 3UJEB `N,ҝdV}QlJ~o1Pe6yrzgCupcd9> ^u œ?O"W"doP@@VqYP9l:J€(uqsH-QZ~pD7gu/lmYyrnJ72}!UL&2V^%(%ї8^ux5_)v~TA*֚]_ єs.A7 _*?Mm $ގY ޒWKz`x@ iI [ƯDk$"cuF!`2xU0h4zע~ : 8*{t3I{t݁A Nb& ౖb9vR!E ц̡EFf%|V2Mg8$Џ}bnpoG3Suvcv8Hgvz)8r-܌f6T>IkyR,]1k01z  䍦-7G>9/GzDW}ۼxݺM:'"7)'lv5 AWq[YG!]5_n&3 #r0阚lxb-zx2Uʀ/Lo?GgYZ7zXZִF! %w]ŗXi%zxϋ1QeKBejEՍZ]μ̶v=:V9R 8 }aVϳ + Card_Partitions1%_g="پ2Dv)P'gf>6&ںqa!m*3`B=5T2& "X-SwӜCYŹ$ms=Mej7T' hz2yaORVErYK~3 fCIwXyeSjC3u_ge2]qdVM-1?y^4QHl*@hM(П kdI6\^oIY}y3)@{Ǧvƛŝ0Ắ(_g@(hnyXsE6U;gϱ^p%>ahYԛ tGg'XL8{2ωXTK{É^Vϴlmi 4K,OYWA*4vĒ䴈=gY-AwƎFzd7|q9fP:za~v|5Uw9%'"10vMހzA#Y3{ zt)(9| ~kA8=S>=-{ːSLR1J*2~‡\i]JAgYZ3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 562d636d00a59805c5124949c105325f55960d9c 5d2e42c1e1ceab12f008a25b4a95340b74a91a37 96065b30c9db112cf55bcbe78af20aeee6033380 b3a4e52b308c1891fcabfd74c001324d923b0483c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3 1a9ceb21a22dcfdc1c9e6e587235e82b98c85840