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 ::C7 \D ]w Buchi_Complementation:threads=2elapsed=18.063cpu=34.028gc=1.116factor=1.887zXZִF! (]ŗXf1-/6vRZkĿ>@񥽧^n-IG$w'H, ^#ޏޔEO-"`Ug Z`f|5\JֲE#sX^F*S,ɋX+yZÈFDQ:8g~ymN$f|"iI*<@~C-ln9?'(̺3/tОF zˈXZUnߘhˌ*֠4/`VՎ.:w|By41i!@<ͤd <6լ@%0DD*{UlgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu"}mƖGˤ1-F~.EbŨ;nP̊s4gkb$g%Ȇ+w/BeTnUeHKLPjO^a+]ɮ4B`;F)4"NgYZ7zXZִF! g\]ŗXi%ru(n8G8f";/G$Um 3a/vr,I%\w r-rNV݋X_]Rc.(湍U&@\ ˢak> m -$m$L_ȧ-%`;Mq4><$xuא /8" v` ݚp s)lL\y'`Pa5u#]0 ,%s l6QJ'51=;0wbGnRϟJ{mXdHrp*oN=8Pz .q Yj5gT!&6EXT1]!uz>^H}Ztnyljof MV*o .*\;$oiR5r Fޣ\K#.[#0i0rEthL1!ADHd09 I_n$̜&"_[)AY~qk1=XAxc^ 52J AovK7F~ߣM`>6T%i> IHQ/X¥mH-T[ŵfJ3Jf\OQ,c"~W &eο%;NJ*C c>"uܐ@>6R~enYڌ]RqzwmSX|l 4kwSݯDG]IYH=#nLj9|4&Ըa.ZvPn|^q1ՓvxC%U)j#2ӆT[a9))ИAItoEz#GQo5=Qw:Vf΁C60*wv }CJԨ[Mh l`BKDY̩|E8-'nH(C2%it2)gي=lBG{<$j4/|:C(LGh}uA42E,nKS+Aƒ}8*6J|eGW7\ qŅ4iŸ37M~amv0<㵇7YnWV*Bgeɽ^X!uF:{NYlm(T]/h'}pH= zC>zgp6h̓[Xt)BHM .gYZ727a052809d9b682c59706314fc7fc73915f9074d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 0a9ffb02608f6141bb793ad10bb944ac191d27f9 4aed21536b48b4e99890b1f34a195d021ecdf9dd cb0ea7e123c24748759dd965ffba84e7b364e8d4 f744501bbfb00abb5e944ef5cd525507ac2f675a 7 Buchi_Complementation