SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 %%X ldD ]S Show:threads=4elapsed=21.871cpu=51.264gc=1.992factor=2.347zXZִF! p]ŗXf[&QͫВO(KBCbd$%sqc^=D.IN6/@*ЫT4V0o+sR&p[})Cm"_!STWY}NFDX> 3mA[H2J"S}?!V!|w<̣MP.#0o|[h71/$7*,KbXt3ÎV72tKd/rCe ]4sJ=zE^l'!, @'ʁ:opWD?xK9 ^݈`s.jw~'Wݧw8)$ʳ (BxT!JTJ5Ke~C7VczI>vO197T!UF\~XTЁdvwļȵ*e֞Y =."koj_b8!7lxVlq}m=4K]09 +nkWH T!9φ| dļB=N 9 ~9_{H c07 4F^OV@xm^#թ9PO֑`ꀡX ܬ*X uc5GlxB'G>{#)~ιlFqpׅMj~'Lkv_>ӇHZ-s[`<t9Jٍ0_(V#.R2)-i@;hWEQ\TŮy"ĉ@J<`=՛a)yWQG=Av-y{_EV+OAYvv췔PZ{1-T] L_q5=']cXky{i4]P'tg{x01fJ)XYCھa~ 7#_Ŝ*~8k'J&J*jc3LbE<ʋQȎQ5t~uNC΁pz y?y=*6 =hN5F.{G׭FISf}#-ٱI[!1`h,[RhC⊵Tm'NLqi4@;^5i1=U Tb|gU@\FZ bU9ѭǣ:OL9:?^ 9JNiLRˈ y@"gUq9 04Յ? W:ݰ4q9ΒEjo{O,tN!Ņd>x%E5z6*NxGkpoO3z茳.`P= eJ(pX@: ]Q+ , *jzMᓯ2)9Wnﺢn0-͒("(\d3ji*UNQ0a`h#먇Ħŗ=z}C#Xuúd&,je#n^*V~;'d'(K@s'}˥Sr*gk*bp\;7DG+B-۪>F`>*s^6h*RFy;t^-~lɢbDa56?ϫ`i.a"&#+KPiz>bmyN~|\)X LG;u0l#̹=9 uN]?'݇mK>}*m67gN`Z:0W _f\ mJrTGi `N;<<4R\&n>7E(p*+4Y0Oژ:QR ,t!@ޒT![ek8:דڲWy3fAu&Y8h/9#d }Ub O9D; z -R k#Y:L+a.wj(-M{R*\.^Mm0ёߊO!Zy!FC_L}[Įt\SCbE( 0v!Z& 9":SwA[YɅ3&g~ЍLXx)qo,){/E[efK73+[]ѣCtUO0n[m=CL/rKu,D|?9ϹaL^6S򋲝=D𸿭{u્RJHEwVH3~\,.%BfG13'`?Y'YF*B禍Y+)Mm6&o$1uR_vpCwĠGZ+ٗEgYZ817ea02e69b72ec534a3d12ac682c14a78d901d8d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c 6d9842dc8ace99e54335d4f81aab2cb34dc40538  Show