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 EE,/ %w Pratt_Certificate:7zXZִF! 4]ŗXf1-/6vR[3 4#d{T>9zmR,u QJɘ0@B8Ab:owNoM+ef">(!b)s:~zvد)'W'='ag=Wiq^}uK'~L)} ̬>MXE`8jZ'5}6eׂ/ Ksԃ4_fd֐`ceZ:u.3PN#ښ e Nҩ&_%DIw:oZlĒsb$_mװS_|(iKhTx(ńy^[Xg|(d9׈n¤a˶Zsg6ZdnNQThDZzHǒ `H >>WNRTW]$Ľt_w7T>˓Uaڢf.O7N LqL-Zx]])W>u1l+x! i9NY󫮗#jJ=0ιm[4 / Pratt_Certificate񳛮iǹR&: LK ' Pd./2PХתZw$ٙZw]2pWj7gtq@IcuT8wvġᤖf/ S/S!0mjWgmFJaZ _'nB#9| JOna ˽Q vG i".^~*XbJ:Z-nNJjy9RdwR Ya~0]B)#I15Ge}+[&Qhdn?h$E'cM}k )IHVoO\ !4qA i[QsB_-q'-2 atm:TI}H{%PsY-UW>8zqFEt0<`y vևM6P1آ[u/9d܍"TX.h!W^6/nch&ɱ?C58Jǩ i,i3MڏI gYZ2301c1cb824b006fbdb66a4d295f158152cd3b18 3e49f76c45416671dcb4d349ccb96f41d138c27d 853aa6b1c36ade2889faee412707bd981cd70a63 87a3925a58dd8ad2a034b5afb68d50f7e837f0d7 b909f3f92d8540ac3ab691750ee30dccc7d0a6b307addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 2c8670420f1e217147d01cec9bd2eec9fdce3aa3 c43a68050ffee06faec10563bb7ffc2d737fd7f0 ed06d8444f49196b95f4c47d6b11451bc94bcb37 a2e7da6cfd1a95a3c47d9afc2ce5b98e1a848fb3