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 $$Y |,< ]/]HOL-Word:threads=6elapsed=9.040cpu=40.228gc=1.604factor=4.457zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yfAISb™%ɎfHӫ$`N<î$(x3aL2AQO*ȓ'%Uyr{Y~զپALuddSMrT'xli[<u#j̚Ш!lXs $ck*ѷ/yb'pL􀔒#(;>5ÝRYRWv{!h= ɏyUqB~%pvƚ5[1m )n!>5>:+;s6,n[P%U 5Q E癳]\sF]N;Jj|{39ɟC ̢ wJg_?L<`4i-wZy|$@`Ӄ<_eg"A Jk)_D$z@K*7g$v/u+x<>fu'mUn Q ]=5~'9̝Ba'qd]O6j꒓6T\t,DDAy5.!#Ю;!Qk"JXkYf#SGTxJ-^7 x:?P_j>7\'T3YձgYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.A$ ﴶ!(, @GVv ֺ̲ళn~wxVh5aa~\FMCir`5hhQK9٘) ']x/$Nk{' }[@hw(A]X+c+ˌ̕fb}T΢JXŘ-Q%3Apsam Bw!8rA-`4+F>{9xn#߁ԉ}<ɛu՞2&ש V7t]0ΧWkEstӄwU [u Cx=GTLU@(!׽\p UGgYZ7zXZִF! ,]ŗXi%;LRBv¬!VA r'`$hKWZ[;ƶ, V_rd#/W 381Sh{4%b\*HpGOݽj:mK?jzM8 ȥ]kAK@MZ8c(_u|񎪢̖;=C\a]z@:?ڻaxk$Ҽ n>?F~0jxf;wzJLG#VpS:|SCFZC2Fq#u rWpꂊGpnj}JN]!:7^NČMGr辠4_B;G1Fu.keid`ztd (CO߳nYl$/Q"&ȤbZVa Y*."; q0Kdk.DP8a*oŊ${+~v ǹ4Vb=M>S&WDŰD- ݙ,Y)+ b &@RZ6QM~ <::?].'T([<w6Q_J21Z$ P0s%ez~7" zf5aJ<FKQgqPM:\ ?Zy7ݍWY1n}gYZb2d3960bf74672e0d514823a1c856a9392921e2fc36d8f85a99ddc5a1f0d4a78ada7dd9bcbc5bdff 91857ad64a000cacbd194f827207b2944b8ba327b7be94f9bb85293bd57486676d238ab8b1beeecb   HOL-Word