SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  T%| ]/ HOL-NanoJava:threads=2elapsed=5.642cpu=9.984gc=0.496factor=1.777zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hac耯}ڻ;pkp/s}3?c2fQdn;Rk@1۫UZ{@|" m+>U)šO0y{Y3L>!HOf:+$̃[; B (ϟV7Sh ^8ZY#Ln׬V,"_Hl+ jEIk߾ P6Bgl^ lgYZ7zXZִF! ?]ŗXiɟ1|H5} \]f3ؑ\]ELy1u0&:$|G)n =W5+Pܖܸ!8 {k?fljL m-HZ`fAEi~iBȁ$>28cD43ng7ska7pgAk"@Oq`WKV+C ܤ^!E5X" \*\6T?}$W18T Gۥ^O#mَ/ik03u 4(D15\<_5_M6?&ogiw $v.+)PXc]wݬYWCѰl/n!o4x-Gz0Ճ ۧمAH:Y7q&f@WbYkH(f^ ;[sJB}c Bg;Gp\'NŰg Q(qŁ58D ԂmP,";9MDAm,)HZ6n73gwHoEx"E7RM5۞]Qn[ʒk{Lo8b_ݩe߮! ,uccڄ*ӆD+:@+QtifJskM2?kΜtpn+Wɖ]r >ٌ2'Ip(¥t²HiL]d Y35axUv-Gʣn}t9 Nb4n֎!T r <Ȁ E.:Q#JJe kVUX~,ٕZ8丬mVqX_NG5~ܘxnBXi^9|}ީRvO✱gYZ5fba8df9345a06136e75932a4152caf5f3db0ef9047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167 % HOL-NanoJava