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 ss 7 D< ]% HOL-Quotient_Examples:threads=2elapsed=34.760cpu=44.388gc=3.604factor=1.287zXZִF! F]ŗXf1-q恈N/|p~p%++"yqL^ ?FPkXar͢: N3ّ)!`| ,z*03aS?DxHl4Ɓ+Q3)5+ 01 80C)i%_e2J=Q_!׍ tw}.b~԰g0`vA䧺Nj#LVǹ?҃ ``i+3YxƓǰK Ƒ4Q޲2 k~ ;퇛W4p;:öJIB_ [,xU=|IUj|VbNkڝ3D80Z2cgK}=`;`; Ng[=%Yج3Zz¿'A *qGxwki;VIXiz:g5 k#56"Cd=EWGT:dhf8atԦ5eڅa>s2.!\AVf}ǣƂDlgYZ7zXZִF! ]ŗXi%;UL\#XܘJZCJi1aJYY]/wAF&۔H K\l]BZdۈAXbF}>4ZaRȲT}>PKOyfG}J*-\)Zё@N첮ƹk}>hdP6l&wAN֋kf6^+O2BkR4`R=>jL0"uԴNGY(PLex9WtK8sv D2V+"<\9NoY+vG#ZޗO_f5h$x8 #yWw HfX׹k;"=XA[Ákz&gjz2_|4A=]eמom ;7H omt~1H x+s,|nrB`y}&靨6$7j0;%tWp˄u)~(Pt*ΐh3wZ୶0L.[ ֎ۆ4qU'J'N4IVX quqdճBEs缾:vT@,:R8ٔٚB\v~56@Ŭ|KŤvw=s ^FXTftOmFl]ޒnܬ7׼0V6*ܤ3Ů" !C[轗Jw$Sk%bVoR)$Cnv1@_GW5_Ϩc\`7B/K!BÃ}7B^l{f2 :U3Q‰V6xb#6(,2Cb@(AXE2S D;,Qc`.701xNrI3o% $jn hq-OQWq7blNҋw b ߩK`؃+ >_/TSc/\j;8Y&󑸐FeS [MECpnR{k{IDKFv,Xkx"ۥco0TXvIM#mbL=.rے.:b NSiwP5RеV=svȏrz< [ /@ ^8m+dǚ?vM]Vs?;hFjP`}fH/yu[:A QΖQ¾كZ|WiY3=wZM! LgYZ8e67167bfa0766c83f2836ea00cb0fe533741a21f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 35eaa225201857107e827622fdda13b757fd8deb 600e22bc2edc8056b332800032b4ed87cbe79023 974484c7c11aa817cc3e0d0537baa1b7b8b3514d 15cd065f04e79cb33ce554665d3b7eb7504654ad 7 HOL-Quotient_Examples