SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 m1 |d ] HOL-Metis_Examples:threads=6elapsed=15.405cpu=62.312gc=7.256factor=4.047zXZִF! Y:]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿r#q2Rݛ?O_C@BOL@HPMACXú`✏kd\jfRcdCt MJ(70J!C?칒Bٰ3IC:'\a^ӋOpcNX AQB̯GYo\sWn'#ҚᩴU}HZJ pdWϸM㳮e{ROCwljuC5`9qFVGsz:p U_M:A 1 HOL-Metis_Examples  vȘ+ 3ήbIA5mGh=\bēD|,`*̤mUb;VD-fvB @Zr0^J,^^vaϛlfX.w9vY iMo};I҆umE 3e5޳~G6_GesEN?,ɾ8G;\Z(!}1S.Kгx׷k>1N_bؖ?"]98.[< ,Hi +8sZzPE*5'C.lg%]3%xHbfA~fpSjTt-MrYogwdRKR{ȿp& 3kJ" 4!jP>CVn)GiI@s}X,k-8?H?&$mkl]-q48ƪ /<ShgI.贷َɂ?`͆E$Dh2q7!0߭>{üK>zj456WLHkȺڋ};4b]+ß5"5opgQ1Ojrbf˖0V1`i Pq]z)Z9/OՕ\:gd)c#}Hj5 ld䱗@(sX'd HF$G"7rgilrUDh |1X"_"6tk/q&P:@\VN+ [D<2i./֊3GFyvUyqHCb ,QV,m(,wx+~B{1PuAWO;@SB" 'ִa2@,Dk^ Զm$;;.=v[:jG '>w1v5#W@!]C86V,&Z>Z}3A.⎀Is5?|UKL\n=lWzHaMz>Ҽ<]YH~bKty9&xWk,e -ćDjؽRj>j KG(ٱagt(4]Wp@w}:$Q(X?+Q{gvz:va_x|yW4"ЃyyqئFuQ|~9{xS1%ѧ({mIIIo $u߆ ymsiH|0l絷$ʩpu_|ScϜL{t'od2s8~&B\Tt*~- IݺgYZ7zXZִF! ,]ŗXiɟ1$Cܨ }X 6P]!ẞ \Qhc #-"Juu-!F%dӴ cr_l Ȉ_l^EBu aD7?afY T@NXcb?5igYZ7zXZִF! R D]ŗXi%L ձ'UU$z )V{q"pMbaIQIjL&(Vn;}k^i|9jA eCX>E ."tLp4UpшVPׁǘSe'BF;3s*WՒAy7dmq`e2H_bhrY aݤ\\Ѽucc[Bn[%d2H^ 3 ZQX+{EZ}dS/=S[-]q k/5thQO5uɆwYvq`]1AU˟T ,(g 1Xk=K[Btaޞ:gc=q1;%.UN[fdp~w]P}rՍI) ѻwQWA/NyƜ@<3(yWxt@`VgFHuJp.vVt[zPZMUiv,гzH:PDuwђN<+YWnqdR2{;ݽU | nfY4u@ǧ$1EĦoAPo <,]J;k 썳kXƑCq!e\'1`E_0:̫e<Ț?oS=lš1ڨ~knp(OwfgEk=l![oІJqTwn FiIi[V:!)a䉜&@y4ah5zD!X1#z-VŠURCl @ôzڹXE#T1?^O85337ok7ƫ {vËQR}er0 X缃O&f w ӻs^Ӭeh辤# hoQi0n,nw,rZx4k*5F-mEٽia"