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 i |w6v={JIkfrq ܋k;OXh_t iQ g2傽ٞ1a7#/deV)a,HRPISDuxjZ\Ӄtg\wJ*=e&!n*y_4qnObnmΛF*(}q{dh ͔0ֶ9&\|_b̉ILV8ɔ8<YUz%Q%䒟}^AӶ9O T,Dl 8^A;   HOL-UNITYCQݦ`sA4E5b_I{QVT6~ U܃W(t f'Mm̞&4=3 bg0 828y@p_'&'9P‰_ ]kO&eMč%ٯ@t;Dr6y5/:i,-d^ 172BNō9Yb# q4<2SK>=q,OEŶe1rCC8AP!?oӨخ1H%0!C&W``$٤v*!:!MFUKN,@<6fAbحeAX<HBߡO"o/M| %%&j[΍!  ś4a+e9Q[MGs -v\$AlEVUSqR H(րP>_gԇߡ#\ȝ@+uZNYO%PÂ-`3Ps.L5˞SNl x6*UMW2xrksL6(=f1ס?G0!w1$2~6 3:'% U];;;D^!@LK͚hIC;X~S:;V/,T ƅBN|$yMІMꗺ5*0|??Ps`j!7Ԩ([(Tu&rgM",lڡd~uL]nPX?+6 IsƄxKn(t)2(ɩ05X7TUTp>_ I Fcz/x(=7p?"DN ݴZIUyFE-/e M?ܑt5蜔No3'X3Qi5 }ZY}zQJ9> Fh) [犹dz8 ,ߟN;zI6k՞F0\[Mb, HF:Cbzh ꚺ3vHM@!Gbd*=O@SnF87>Ê\7ӿv}>T^, T-N=5 N%Kg?{ Fm7lN𱱶)`|Ƭ84e|  ]nѺ\m7Xܷ-Wȃ\y^o\P.%O=n`'J| [[HFaKS W:kV՞84hL}b -]"5j\M|~Ik Ȧw5 n _@nn~: $ IDQ}ctd mHhp*"'FQr"ծOCN݉*ٚ;I;n*۩<'@0EgT鵮%Qc?ESuHwcl|iQBpPrE|^ikO::)WlIL"~9\t6PQZG }' ^[PG-C̓(_R ݩqZQIsȎ|y9"8n(=a>HhhcHG3qHln6\Msp'CHWзU4ӹ'D vFƕZNKnZL\whV/>W& almݐ_^sVZxtI ?4$lPd_ UBMgYZce316cbf0568d76483a165f7f948af13fd907504b3fb05f5e50942c4dcc807a50dcc11409ab39906 759571dd32091ee0444743824f9c8116972466af 05ad400047d12a8784473c927a47c6142253e609 a9bbbd096377f704c04a207bda1133403f89e944