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 h# $L ]w Minimal_SSA:threads=2elapsed=8.390cpu=15.768gc=0.468factor=1.887zXZִF! J]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^^2}J2@֝IwW_"Bܩ"" 9GxR*s*5?K6'guobbK͵{XT9d0x X ~CJGi;偍 N?b ʴ7U'/b/Znirx.jfuV8TOG}ՉsnM R P{+\ 2w6;Ʃ0m XgYZ7zXZִF! K::name=Minimal_SSA.Irreducibleelapsed=1.009cpu=1.684gc=0.000<I 2dL3}^}YZ7zXZִF! 8I]ŗXi%;;l%"BJ'V)縆\KgK޹ip"s=~5*<피Ը m"u9b'?i4h]4_9WefM!X;?G<8KA6àW(Nk₿L+K@2/'*8Y r )5ܭ~z;,,:c+?SUb-mCl*ʀ$md`$ !yCYCT/?᏷ieL(h., ah%}>2N8Npg)`zOuTڨgō'i闺QX_'%Q,i]yZx wlɺgCh&*qY. Eũ1="T͎.qI}EYT[Tyzٺۋܭ h|z&2vjn,F};OΕzsyUt)'경Voy.z#3ׁ-yVCQcnPl \Zxkl'ŷ4;h<{9>0]ڻJv._r/@ xz>zD b9(+Cn#)&PQ쨐1ZNdtt.7*~ցSkG4֩-oJ(BvSe{i 0L+tkF-|7U9,;\e5ωd8'SIkԌ.uş iؙ"0>f)+Ī֤>|jXvb!}j' +mhͬDhIBث?S3:=3V[ߺάg#A-tbWʧ&ִ *3v5oup^%gYZ01ff5e96850fd0a61743aba4db1b8990dc1f64a619483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 43dc33c565108d02c859e8428b66e59c7fb3ed85 68d0d0c9f570b3cbc07315ea771d337673ba5e1a e023ce42e89c3153869085e4f311eae379f89a53 ca88a23b8f27a00a7ea234f9d9b1c3d79541d5a0 # Minimal_SSA