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 k? Td| ]/ Inductive_Confidentiality:threads=2elapsed=14.166cpu=25.572gc=1.396factor=1.817zXZִF! ]ŗXf1-/6vRZ;P| ^TZ%DAևOt*;tBq[;viDHK9iښ̒}#mlCzH*UAlDL-HëI @7~_ :+ /o_ܗac gYZ7zXZִF! ]ŗXiɟT~@D yA, ݊1S'P <~Ч0Xv2T0}qr-ڟ΁xm x@mcQ֚.r O«ܹA)Hkx^];xK9cz<.+T݆ne10&҇`c ӌ8z_gYZ7zXZִF! T]ŗXi%;:>)ASbԜON|{?_iIq0 Y#˜`ћ*sgeVww$»3OBb"&GTGHu&Lb(!ߴ\lŢnCyC?=ATL=;IB# \ 7qijfÎ]dCdίS(rR1=΅ .҆Uyl[]ۡaI#]D+O;z6t># aL]gUАg+)u SD)A\rKQ.ss)3AnQ8M%$u/BN+pN$"jBg֎pD4ZeEJ-0[g Us(>u(;v'3윹x'DD6 _`tSvQ5ɘoԻx͕dDB:h"r` R7jTD.]uwԆ(:3^Xk`_Kq5+Z|spbk3B{ ^՘YҔ\`W$qj 7q郛,>l_u$e.YP٣*LH۴(\$-k-rOW_ Tw 0B?㈩Y' ;a?~JIo8 Gvh'g|+QY֦J5pn+ @~I =7]??.FOYyTf6j[jtz[v靚{j*(WVqg?Ob-|/o})0 h\Ryç%>)dR!Z>S,/z >bvoI}ҫ:"ȗ Y5բ5q174&vwzwԘPS?S|u@FL0.dp_RP\ 2s)VN9~4.1ۓe _GuZl:*#:'䅢msg[hN^nB=P-G6k0Ŝ"l^ώmӯ|u [. vjwzd״qRA%ol)R#{!XGO͒gG.|T$П QVfJD4܋l2ZﰨxZ"`{7x.D;1ZCkըsOp8E.'ݭ= ) ;!Emퟰ"g0 W鄱gYZba20a8e5e273b31139ae83ceddf23e79fe6d2ce319483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf ? Inductive_Confidentiality