SQLite format 3@ .  YYQ77Atableisabelle_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, "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 k3 |l w]Applicative_Lifting:threads=2elapsed=30.211cpu=55.508gc=3.272factor=1.847zXZִF! H u]ŗXf1-q恈ܗ4ޤ9ũBvp# 7%}eowIDn{[uuaMAb&⫶;ex_h>f@2Fb`5[ʨ{qX BI%j @[m6Uu tb.W]lcw5오2{+Sx@mfht 2;(7q8   ڒL".XɲtLG$pBLIUbqL`I"|bS?4*襟eS:U"p?EhEֺU3-|Q yB#e9 (Bj/=8`v8fc|^0!=FPB9 ~v#ZAǑyG^ g!X$ Q&WWkQ%?ޠDluI̭$zysJ<&"XBO/~Gy 8o?.$YjSn5‰P5u-qj0cD ,r%uĘEgHWCeWzϔ?erWCTH*t"(ԩc 'Bt 'P7р;:V_;bwnY8/F_>BFyaD 4Ja 0HU X/3om ZB{!a 5퍾St:AA %-:^xR;^p;f{I*xTp%Ѹf=NRCe|Z/*q =秓GLXV-j\ h&Wwʃ4}|@p;L֙Xݼif1>mNn|\썘fqD9H4Pf sPG? SqKҸ`JڠKcMnu[&rv=ɵ.3K9܏W9__QL YRiĎiM+G3Ul:NPDHBCt$,[b[;+4OC`s"}GcLJAD#WaHe.(C醗W|pֵcfu?!\N\ۋ^J1QZ#AWO{Av4-H1]Tk&cH> Fm x6˃s?at1# .C┡MKo ?}?ȪO d‘.jN2lO@ / >%`Ѭfw3ƌ\b;/ HWPeP"j>g"<&>S_I^A0=|t(z ac96jaqlubulL-LȨ㉫ Jbs| w{lD,HqNXW˃Zvwp`@U3qj}FC9|!qDoN+/|`nX0 3 Applicative_Lifting?׶ fi{z"Up1Sc?SpTJ\Y+c3"X~UZKۧK Xxr=5j?gm@Năݰi` Tj ¾,|oZ#Q$D*$UdNP>-dݒL9%6=:h gv޲E0jZ-X4ubj8,Ώ&mZc.l+&l׃QTE3N ʽ9zkTU(!> P3}.}9#JΫЪ>Ż DbT бX&2eYЦ*FME固N'$ "ZJױgYZ7zXZִF! p/]ŗXi%qhny>E$__T]\sU匭j.cDY[\{߂*oK{4P <"Ku4 5 ijiAB.Y| 7Ҵ\Q Ik:s)Au-cEEε1yka-;A!ZgcεC[NqXqzLrkU8%)DJdy )wxH:.3,cFP~Xf6A˯o#9nQ 2,i\ Έ( +>YE}, ~L4 24ê3LԙGy6UhnZ#ΠQ L f`EDfK)+~ɝIJl* k`'*7do'*塽fϯjsUsc3=oDžzNBLJ~纱O^\"s|&3e)ck)[~}P!`$i8>3up1)=fQle[(LfaFS sE/xS>cZA}x)U?N