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 [ T| ]/]HOLCF:threads=6elapsed=13.031cpu=36.980gc=1.704factor=2.847zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V}ψ8zeQ~?n bB*mN^])\J\q }ZYJԆbP!iHT2!>< ?u*4SI}>uߢIGP-7Ҩ<<6FҀ;`me! -cMbJnMSQy_GMIm5čUf덅uX gӇɇ9S2]ʇ( /Ilɣ 5#l01JWu]>Ҏ$=skbxl㶣7 $_'tTgeNm5`[;Ը!g5AH9Z٤G}}"w{4 ?bˁI;djsڶ՞ߋ!jmh,:1PRLjy]q>'՘GMu+ LͮafkϿo5{YgF?ǩd]į/) x)u"Lt0y)2 k4=RO Fy^omwjVIOaSsE_*h5fN Ԯ!leHO܅o­Sz:chguSc!Dv0"}vfRb2eWD^;.H,qZ}O1ChlXZ)#N3Փ>|~5UZ+`bZr`ɾjrf6"X(=Nǜq"'v6j y1_Gvd459nbhÖ`Nw&]0gYZ7zXZִF! ?w]ŗXi%ύ!='T ʒnWPI9O-Vq;sR5')G"LEu~M'n%)d*K@c5K2"*#ʗaM9DjսO&E D!=Ф$\sDT@o{4*+B G#qZA襷jzgFIΘU}]}߸ u('h8aq eu:ݖsKM;HBD/P:Eۆb+cRuMRJ7֨& R#SF<[zO$J1&Y(:簩0S I-a, \A@+D?"/X1+(>j׹nyԫ)۷]oMsp}ښTreFG^KXHU` M }&MAb7 M%W>L` ~O p}M.BT/1jIA fz~,Ks]vVHN|ތ-kw 񢎍LEZ/P#Ɨ o3 J8"iUh_/ةZ-w%#1rqU-G;է^?]}P꣠`̷\J:W5 ~}^u0X8Kߕ g3]1 lP;^zQ[)ۄ;xcc mr*}DsQb) X sG>]S{P?pĉN=+"WXi ڶ5Y>Z"w />K<& ɡ0=/4^J2=1Z! Ec;v2vuן JG8p4Y}^f5F9Fgӌn2KLЁXc,,80\߿);:1Ɇ~`]\=q"$[ԎqS.<,!AV\uoAubv޻ eM^et$z;k}Jۏ):p׳*!ҧ9( p/L7ٔ&G w?amZ DN,gYZ218609711d004dbd63a1f9c06d058981087dd3b613a4ee91aa67465b8841fa4bd2c33bc4d91f32eb e27bfecc3175c5bea938916291a381f36c7f2a5b13e64d223f887634d49f69c5930dada20b47aa7b  HOLCF