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 h1 lld ]/ RefinementReactive:threads=2elapsed=11.802cpu=16.792gc=0.468factor=1.427zXZִF! -]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓg..  , %1KlT { ΃4sBpuu%ϵq)'12t<|BC:p)Qѡӏitb "m`rbLCn LuyչH=ns}lU`FlX 9m#}%>&J?Z >Ai9MTZxB6eb 2V%U XXm}gYZ7zXZִF! p]ŗXiɟi%3wJ3Oуq;cpT1 \6<\e {ٌqۗ&n A*!LiS39 E"՝꺱gYZ7zXZִF! D,]ŗXi%9(O[ڜy/㴖qu} s 4 IE@np()9W:k;rޮ%!_9<ڳG-D/xbhJ~wHn+++\;Cl:Zt;(Q '#hT`SxyTu)jVĩмUd򌴁y)Z"[l4;:}` :EېL 9Y]O]Z Y!< p).d͡{9Cu¡ Lgߝyq,i m&yz@*EsNMݐez(nFΧ5-B:)IvU !@z%a˥FPHyC+/ [E]()lxGkkGЄ-|d %o^U!G.&80I2zBKSh@J7]cgWх˜hԼxʘTHL lnVH _;vE}K'oiBQ ٖ9Kd@5URMnMOJ2/H;"nZڳ/%q{OnmOh #Ҋ/Oͦ"j ZġXcvcrr:"WjK[h/"PxR=وU1²dk=WB]Է&ٕiFLщ: !-"X@P9K9Kb'ՃvM+)f­ڈ&(c+x0yNq\ N9=?Euo,^$KO= 5X{5ߧk e Jj#C 6nBҩWX9C =ЩNo@$m+DZcOnl,'/?PQ[q$>nx e`p3'8>yG]VBXYϾyzupX 6 ' ce2W!|1-`}G1F$CK|p~OR3fi% #HB\\[0gYZd5bc41b6a2d9194054da6325703fb8be56ccdb6a3bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 1 RefinementReactive