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  + TL ]/ Verified-Prover:threads=2elapsed=8.928cpu=11.844gc=0.384factor=1.337zXZִF! ]ŗXf1-/6vR[w?q2F)4|*[X\>!~&YT̐b\ߛɿg\Nlѳ!묍D#"1n +n zC">r3\"IXe\]o 2v}!@RI H,T"ۛ_6OC$$&j^E8t ϞMI[h/LT GBgYZ7zXZִF! JF]ŗXiɟ@: {GXjWwPALC@8/jbdbm0*1NȻҹbK$C}YZ7zXZִF! 3_]ŗXi%9#qw倌E +D+**|J̾ό#|9+E?^:BxyHðb me7_F2P{C/+*3;='/݆X6fU sI%QGO u,H wZJJe{JRT4 {T2(O><[:x`Iٝ'̡^ UDHbL-W?n̕) @H3/rD.39ў>vWTn@łW>xK{8{wq/ZJ6 bX3+Ǣ:ᷛ4N_ޅdrJ[1 <6E ,楇Zh6yLBka_. Eḟk39]ftnO1f!>\ Lc"[@H(8x5^2 o~Y` hcEfT9F@2t[GkjEzs뉳9 pXe[p/ B"E8ҏc H&R.iC=ٽ7Hhd%6;щly}; V&ˑv^_q¼\J]uE~j/h?+2\HJ!(^&j{}DH?hrPl&z;~nk}i0Qw:wV#f3qL ?&f))>bkvm;JjfV<ٻdsSFg D kFP[zC&.b.$_)<٩U'C^Y3 lmrCclo;ԯjf_.R7gcLgYZ42cacd5107e5864a230b6987fc1e0ce1180815528ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a + Verified-Prover