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 ``#  ]/ CISC-Kernel:threads=2elapsed=20.951cpu=39.552gc=1.632factor=1.897zXZִF! A]ŗXf1-/6vRZx>3ddCQXfh^x[++M̵3fFK汬X2>ee7>h?IGC }@K92IK'QS#-隅nߵ5X՗ݵ9&o^\ wmr:?gj8j^Qcf1iҐKC]9MRFUA/6bvΎ|3nߟDH kE2k* cۯeIW`'LC1j.L*|1s#qΫ8mE+&0q4Z_~qL_pxO'ӆoz,c @}u࢕n&&ZrPv6FXNuҾ5<0x'{cYa|yciMP[U4 >5Ksnf+wBi$r ,<1Uk1lt-߂?A*`[3ҠI~e8r&E=7)b[+x8,uno RN;GGZ*{eǵ TU,Z/R5n"TX9DF|^8@j܏@Dlfi2agTfy`ۡ<<6RzdH 39l;=AuUV!:cK`6`:n9*ƈ !:mnWA y5Vs)uLbN 1}V)t/g.{uP;:gYZ7zXZִF! B]ŗXiɟLN.!}" nPBڨ&wjn}ЦXRAN2qnrXN8Z)/> 6?yT9gQLH۟HʠO899~Pf0gMlBX +TY'vɑ P#SPd#P0 TB_%p`f8pNc槼9f5иq/,Qyl}<ێ#fܕ$ ))#v~!FKS⾖\1^S!䢒%?kaL&3ȷn'^{:) ?Oy\gYZ7zXZִF! |~]ŗXi%;iA3NB)Na]k{U't^Bp=m4PgX㿲#$=J7< fG:-"'UhVyw+$v*#j{7o6z)LHWxxtKKsta:sKLBZiPo|!@PΕOCE%>-( w#qQI`}:S¶񌼞cr4ƞ/kbxy@ӱ"uJ TqŒVf2vw.ȪЉ_@7|Cyqu~5avcxdqZ7sފ_&"d؈L $̼pےwL@p6( zٻwá]w:=:+}fs.fMp !( c}.\)G)],l5z{nte9Q ]Hu:bFuD:7W|W<^"" rjm wӀm|0p]ϗnSa7JQK&vWd}]/ƃI&YXAqS*7#pOh_[/E ΥZe(>+:f?_lU/$wBkGn ;I8 2&-,{;Q챤HU(s"mh60_ml=a ˬYe+'CQ8R{hbsp9V9RM( [S"hQ7F s"9Ϛj{R8n%QsCKXpOK#Cp^\Tʩ)1A 1uXD.Ja7VuBDBay!nFg­sD(k2Ew ]rt[A8"| DPk]02s&'V<ۗ;7X!R=34iR ,HWth.gICBQ[pwy֕QFqU+ȎJ)4p`(cI'-t(ypDrb+ Uƽ>g$[5[h B1mA"O4/bJR_j<0}=3+k(Ry~o%ь,zp9'둁 uz(adzw2dhh[PbvUuκ+S, w_U"HkJg:&TMLkCThß;?pw2N=`6w>q2rq褷RĔYc=I{Ii57pVsױ&~2gҨ3Iq@4F|z+ gYZ69cb8e7458fdb79cdc6920299bbe9f6fa41c1d4d273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 # CISC-Kernel