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 C7 D$ Y/ Abstract-Hoare-Logics:threads=2elapsed=14.131cpu=23.856gc=1.680factor=1.697z 7 Abstract-Hoare-LogicsXZִF! {7]ŗXf1-/6vRZ\vW>_=֭0fA@NF &Kkf혮Y[/<;zA _+ۙjѯQU-i*lxJ!j`GD~jj8Cۣ\4{ ɚ<ƽr՝;g󴯷W&Ҭ#"ǖ-૱A /ԙs A |[pgMnǑvHpv.}aLWOh׍d2ajDAwˉl{[T1?7'NnF+TVń~?7*#LÙw;{̮qT!$Jl [ 7w㦚NRICLj\'υ?A [مJeZݴĀ_G;xsכCmaDj=>}tiF ^X>ap_-6f\E+zh2_ 909zZaT2VPl51o٢||pDvro;-8,8% yʓ`ǫ_d>@%GhbB%Α zD57}<e枝>EnY3{qbIzP# P[{c q)6t&$#$Lv玿|dX K^ў}$3iqZtaX̴)SʷWL8rŜYͿߢ"ԫH^_*TklQtx0"'! E)?+`U2}e8&)q]:E o[9-pQWY^Zs"j梡SW/㮀'eU΍*VyO7Y *\G/޶/`Yw+uˠ 2f©fgTç?m >kLH^BkSP2@9Z Z/OoV;KGl^A,˽_*1b*$S1ȘHlIԺ@U/Xax KxWcKa2~vWٔIA1Q+8P^QZSmiMI 3O GȤ_{P`9^cTdq8UeSƉEqs(Oe-F#QyJV!s SXZc\`]~K?i :d|D^,ݴlBPD//ߐNŠ7( C"%veXl|E1[" (Azj[D"[D+@h(*_8:9K2[I)̎e1c}Vn[?G'uS=iv`y3+^ӗ7' ketȔP?xm/̃u Po;_I2 |N5;6n'![h&=nֳs{MD^Q5C^yZ~a6ܙMT==9Hg=~Pq KͩQQ!{=JƉݛ]4 r~wPfgW08* sX3Rc+m&Xx<t<![CssWN P;7h>kQ>Xjqa[ =z8~phsڀp:-`n{۳5>$Z]fc_xڞћ8 WQXߢ5 K2,9 '! ٣gYZ07d9682a4239e8b9d5167ebe37929bb4dd64eb78 1464305b2bbe77c3a708030b70c2c3e94f60166e 14d11054030e7dd6c77971c068b8cee62a6ad942 14e02afcf67bc213b511a3ef5f87ca10d483b100 622cf9cc7bef816ba234cc46d95855482855c01b 6ce64580875aa4f1fc1c7f0c182d161f90bc7085 851703309b264f73d5a783a81b96291a40a53741 a80ae276abb247350d344f25b22caee63cdaf328 ad42629725e1e075c62c4f76a75d8a5409d2f3b0 ae0c236a30ec695c8ce382b403b1f2bcd5501f3d b5a1489774852bacf89b1206d4ede58deb224fae ca0750621dffab5db08c1f4a366269f82ed615c8 cb6884bc854ad8677f2eaa4cc93a36b9102c0ee3 cf8e25df14d0e43b874b54166adc284dc7f337a8 db9df33ac1e6cc1f5dbb7dc31529a868e1b3a91370d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9