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 }}1 Dl< ]/ RefinementReactive:threads=2elapsed=11.964cpu=16.920gc=0.440factor=1.417zXZִF! ]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓg..  , %1Kl& TN7me B`r6*~pH^g88YYe 2>XJc C6pnb/EvB2r0ZlPH|W<4ˬ8b8ën%]k&5EJݓ`"y9 WVD*sĺZba^\5'  Y±gYZ7zXZִF! n]ŗXiɟi%3wJ3Oуq;%mm0C xQ);5>*H- e˰0cdMI}ڬˉ^)y~lgYZ7zXZִF! KW]ŗXi%ή++P0ŽxZk]9i\ð3Ia^P5u*%`Ah@,J͊6HKC/`aifk؎( w=W+v6Cguj!}#0v░ !U|)Ï=ohƃ* Af`0uC@QՍ-9i*KKGn{߂t6 ߈QڑHbP`lSԈB?1_^֮J+ُf9]`8k8|%h ]ZBh盟}qOY$`l G-UF-0W{VVfMicpWkm i߉}L_hG= p3ɂ% הNRAu@8:N7ٰџ?0&ۺ: /S,"c'T"aEbCصJs=ѭr4(0[+ɏ4F!lT709GI?|K?@@r[xۇŕ+ANV,L'YC@5'K#%<0HG8A'bjF9eڵ竄ѐ;=~8cP*4lWf4d]&bqx\*ǹޗzxY MnHa34>7?SUIwJ<}x80g6 >_R p$Ɏ%J=Ϡv} C\ ϩ0r,vڰsWT}+R tҸ%n "\̔ j&/8z}~iul%X+3:!Nox $ =nm @( ʨO6 @ګMH=tO{,Mw%,~G0/&C,}4.qxA-DvDh+U3Eo1>(B[隲7e3EuDﺂG52n TF %%$sٙ >tOM[7>#=/ hN޴,|1gYZdc5ad512405d5d4b2dde901cbf904d30ceda744700b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 1 RefinementReactive