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  7 | | ]% HOL-Quotient_Examples:threads=6elapsed=26.929cpu=40.400gc=2.544factor=1.507zXZִF! :x]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%į P~ ^r1K-zFf`_;D!d =C/0LB2n=wy|`;$RPrd{'% vgT1 LQS ㍱[vQj.GSNo=^>+!,AwAdG)׽5U^7iy\,*[XY1ڦ?RNkA렒ƅ\t@8}.A?k+r1Œ;RuF+']IJ܉(bYITD@U#V SWb%,%lXJoaKntx[rV1ADcoUSqz[`TO,o0?*' Ƨo8#$]DoYzWAZVvͮ.o$v>Qbk}NA/vWAtc7Bsaqd#N4EWgIj\U45 S@'n1X%m*?c,yfvgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X Ugmkyrh.. 2?-qNg h 8)+]Wx A#Y <>agAU \PQӉCcNwT9X͓ {䌨-][ط.`{*=<O]'.-ڮ ;R"x[-=M|~ 91"hf,.%332'ޠ!W~ pP?F:SsȡC1RNo/{hI ,8au_I-Ǻ*>t$G11Xz0] mNJh5R1-tF|VAk FT^[H51Z\i p#Jke\d6Bz`Ged^epwd&?ƶTCF %Dxs5zrBѲ+ =T5pA*d )QA,cIkSmO^.[~cKs |1F5⸭Ly/ xx/̓r< _val|c]b90!)\8;L(~r6vZ1iC/ΔrD-h,Ώ4#xg3wrʼnV l|rX{bJDY⺩V%U/5Pk,LC&Ae@[Ki!voob#;BR/_yJ!-U!:kb#k]1OxZtʻw2բCh(V5F%I8ZCq<_u왲2TJHïZY}H:F|6uݢ,ψa K }p{!tFMAOjP-fh0y9R9+Z@6#(OL4IJ۬kg@Nrf4)c 3YNFzx̰ӀIn2Mp @yC59U'[ϩzx]8Pwo`?p(G#Ǧ8.T]1}Nۖ on(o m%pL.wɀkkpA SJ}Uf0hK%+Qg8KD ! EpgYZe8d3f976f5332c471ebeedb078b63f388172ee44144fbd49de05d756fe9e2e19f640fdb8a712f8dc a414a4ff183b67646c55f7bc60a981cbc1fc30c5 3f15a4d09d6cf1cb917b6067d88d198fb48e78ac 99989322850693ed939ce2bdc3243e5843b46556 c2024de3a00e91f6da867e00dfad2f353054796b 7 HOL-Quotient_Examples