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 gg7 l|4 ]% HOL-Quotient_Examples:threads=2elapsed=27.990cpu=35.212gc=3.020factor=1.267zXZִF! n]ŗXf1-q恈N/|p~p%++˂z.AgscA~T|rkq$r dJԙ3jd쿇~ j`'~B ]2 ?_b1.? L (TDo aEeӚ@MÛ OV.lBx=LWJ+)8 *#{,17&.ó{( S->'T5d|J{ vG@$l'͇~3Ld- m0= ΁F[F+8Bj&s7n\3=U#^؎t2lv=*d#Qi_0o2&s%( o̖NyQ#R fzN@gS;NSzȅ(>%Pt6 XP&;O+l!_5LrKBY>i8\ X6f b2Y;Q)ɇ{htFy=o AZOމa0% yjSNЬ}O'Qw"mTF7l{rDIA *VgYZ7zXZִF! ]ŗXiɟ1TgsC2MpRP \[KOe]Hd0.%k:8§,O__H"4dSOL<M>αLHn@ŕvC%-ĞH$N[JY/ hl^ג .$u!q#rzJkktJN7g\`)CPl@dzgYZ7zXZִF! ]ŗXi%;P/h"(pJ0j'Ju)f6˯ܣoYj`ϲ ?%VT~A8d5Du͠~,(XoE.(cC8k8sőJs)軉1<)YI[ݴE*eT8㤺 @.Ә>Q-A֢~22yh|dq<_$NlS M tLthZꨖ GAjgt!jdRg7#>?Ϳ&'nz&쁞5_i4/7G{=xJfE~wMVLgïxT Do,N'g8jA-J:4Te|Igm2P*rΐpPN\(530s^"BWl>"L 8t-6̒"!"fo_0Cࢷ^щxݓ +`_):GalC=ei``O(^Wۂl \!RKG/0B3K]x6GX@b*IQto@,Nw*S8<,1V^ $L֤azuGR?z$0#=Q:1Ll7.9gГd&KD%W" b֣h]=R&;/i*7j Ux4+p2ꀬbWϠvyO79F6R0&PXDQC! Z_C+C@4Q:ā2J@+>nU6LmUg@{Rԑ+D˚ńHԀ.22s8oA`Ah^>HjWX?}3{dA;-K-k8v>-oK.Wv:lr v765j;Xb=)ӱsMibA`A[5 o;YZ2{1x }tGZX3YEq?pjKE [5+,yX0Lb=@RkVztV{>/L6!KU[AG$ݍ]ṀE8˨L BţAg$u6?xY. JQ&<$cG^zVX(<]Գkm ¯qyvEZ"dz^ftԎuAq]i,J=Ca`>VMp BO~hs@C,j ѲNP.@w 0kCKʦd>G?y|x05@S RꚳƘ~$b觕Q*]K=o 2'ogYZ81c96fbbe44ead5524db156698877e527163da6c4b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0 01763d1f9d1dccd6e1ba7f81275e973e88524c05 fd417c470595813b46a376467331620b09de3b61 8b4582a2849d0de5da44f35015b450c64aa881b4 7 HOL-Quotient_Examples