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.320cpu=40.164gc=2.480factor=1.537zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%0u4.[tyD"N^H$4]=oB; T;rX _X+1"KTS턤Ǟv,0 r}h eՈ-V$^ۛ%?!0{*W] 9NBNJN+w\l1Սޢƻ\J$ioYvSG8p@Me>Hr94;PG8o<\MB*B4ig /#RH|i=ήE5@ &Yʨ,O\:-_^Qqӵ([DG&Y]oLIϸB%q$9R$G *yեh-B@T.'}?sa vU$7K EЅhM-Ə0gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X;#pi(jf |?2hyZc.SXU0uVp|*^+c;)QXf/X{-5Bơ<2AmSlZ[m sr*Ý[&u7@ djrPnf|ז2e/׊(ܒ>2A¼DG :D1G?'] NAT$5gYZ7zXZִF! }W{]ŗXi%6`C!O^k_>/2GuGk˨tT-me:KEcHِ$w*XAbpz!Vx7v0f@Rr獄(A 0Ra-;8{;,(]/Ǵ:(9hԢ_gOn3{U.A Ք` @ƻM^Ty-לMB*@=S\q=!w >'$$m!tKe0O;GbLEHM%$m=?p]Pu4ЦEyrίΉR=Wh^;-oZLw!Nlٗj<0eE}q9r>qFZZd'4u\d3;rYjPһ^ `S]F҃(PPB*Cƃ*ZYGϓX`Z e<2H8)!`_!=jYA7W-C- ofhM E5sac,@PfΤB[f4e::UxTW.+VIdӸ= bHͽ77fHݪV/"2=dR_,% bEJ'1nô@vSr |uLK,M/J| GɆ#`uiEl -f)~yZH#ձA hgv?qiZH yv>D ؿP:ܷ%ro3DβVsf97ѷs_;RB(c <7]`~ vHl(Q5Iڮn?e%X8^h_ NgYZ091113c2d80e1f5d35d448560c0a319e118515820fd942c2de17ffe6e7e669ea714c0bfd1357b97f 96be2a9745a5315d1ee7c3748cbb3041e3514260 7fbdb384c7dd334c316c02e41305ad9f8b47d436 9d70e00c399a9959d342afc0439265b4c9d42efa 51b34d95341cf7ede7d6bd1bc979c2d79d06ee15 7 HOL-Quotient_Examples