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 &# ,D ] Rewriting_Z:threads=2elapsed=29.191cpu=49.220gc=2.200factor=1.697zXZִF! P]ŗXf1-q恈NucvAݪ4 c?i|֒]d0(q!%400m4g! CoƔpKla˭:0 Ed8o%6F1ό>M/K􊽵>(]G0ꪨPU?'Bf'=hJ2?!N4QZ!݃62D빡[\GsVԚ`HZݸ7hŜYVbBqYŰ2|y@Xo-3X|!TzVàFf}'+MxyKRl18KT XK5ϟK<1 JVu &nJiJnH~p;^(vbaRhY xCO6 Դ$p:wY,l6.NcS7G/-qS)5UMz۝Bg2H6X"8xxoCIa/Ԙ/4q򖜂:OTFPK{H_lZ}Dz30oG>mxOf⧨! 3^objV*a6+iL:/;0@g yH^:BDz+"f[ɴCB?eK0{;EBieuMl3 ư+{ .8| x&]/0~ؖZAy|EXҸ+HEf7N^Y7Lq=*&= SI+y,f=+[qᑠJm񴯙;~㿭itrdQM ފ™VYq NǶدerR(5orE)&F/#*/6dEU(bm E) fk#2TDB.*ߘizAFG8]+Q{3ugYZ7zXZִF! ]]ŗXi%923N[)^AR=yKg RYXaB_JBet`6hVGdJ^4LG#X)p]k&D5;%#=fbJʛ( Lz[ãT~r.qSNGˣ^7bwO.x~5ӷķ{ofah9OxPZѻ{,߾yih?6$TcZ`w!]1^԰(eU٦wzIc z0Hag %ʠfFkU]s *uooZ. 2$\):KM\In9éƣK[jŠ܊{'Ʃ@fi6T[_BǕѪhZF\sԛ<0-HF9w@ =b"G gC&]g3w9Kk{E A .u[K QTNjG۟:cVU=`0Oae%( 2~yHl*#aNJ}2y5ğI懷;>$޾PsC`ThZr3N";p#~%s^Ea6V}q^ҷQQHn24b+ޒbg !%Y@?~/35ףA;<4AplrLx:e6j?"`[B:1,e⎻p_7áiī^0틐UdpwYzxFzX [lysADszldՃ3U~.)?-*=jk:>pnlO|}>jqf[X0+ _d]m#4aK g}\=!4oKqX㽧ͪx?T\vg"͊L"9Ҏ&˾,tJAjI*`%}1HF9@H; ԝR*FiTjP7*r *66꼰r?Go ϨH g|Rai[}0(,&">ٞbEz4w5bUS}> +1o ԢNA m8y)Iz3Ο"nzfw1%JSF}?*Ñ2pl| UKhJ `s+œҷ:>NȘ9+3FKȱT}?A 8~>Cpy&Tlw>k7d{zu_YLѐ2ds)<pʳKfHr8O{rJp3W"QC&ՕkgtI;֭+^Onpr΂6?Tl`xEeMG #7>K4Z;28y=_3K +:n1D*ިgYZ3a0a756c8f98ce57061ae7a9ef9c2ce897bcc738fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 587f4b9ddf9696cbb5d84ace07d3333e1b4a72fb # Rewriting_Z