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 k7 ,|L ]w Buchi_Complementation:threads=2elapsed=17.471cpu=33.420gc=1.332factor=1.917zXZִF! ]ŗXf1-/6vRZkĿ>@񥽧^n-IG$w'H, ^#ޏޔEO-"`(Z\W-Ӹ] )hkDغ?uh/]&@߬I]M[:U˩?>m`ZmZbg0x9sͶ4H*  /rn3wµ Bܵ47t>(%"E( fO| gm0ːGcm!Oqp`.ٜ= &aIJS8ocOT5IS1 ^O.$ 萹c3qO RV8=_j^0@9У`0n2C ~oAL#ט!;#argv@7[ygLq82oփ}c!/^@ &Hijf".yv#7gڋa.tuh6/ !LsgK17/ +|XSۧj6EeA{LY3i˦x aI[݃m]i%Tf%Ǻ]D T?g.LV>zzwP(#P{IAN#%g^ʵtO' 0S p|5 j -}1F- h$+&wrNdl~`f!s1qI+дEJg +u=AZ'3ƇHŴ =;Q0A 4"l叅9N,Dn9P1c6<~VU3 zTbQd~S+ma]3M!%:t}~ۤi(!FJl~ҍI3OX"Ӣ*U᚝R1·H c\Pcvſ(IZ8ǪCVLnAr7vsd;5Lʧa$]cdϱK