SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 Z1  ]/ RefinementReactive:threads=2elapsed=16.365cpu=21.932gc=0.376factor=1.347zXZִF! :]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓg..  , %1KlU$(LH*XaѠI`*4%&v;A?nӷyu.he3FyawC{"y~A#Ѥ64wCؠLH횈n}$4'jy][ߠXdi_fEPT 3GfXvzǀƵ֎ YXZQ3|@pM|bǍ3:'0DNZgYZ7zXZִF! YA]ŗXi%6y-f|:_nF%矻R Dhz:ww+hL r v#e.ڣ]:5$ "N}PxYtY mIgbsW&gWb e8p p=ME~ݠv~{PDX}eB#bS:zhn-Gҡ(~\S|J6E)x5< (>*  YV,*2 ۊA ";p4it8"xǛԔvC:ؔr,~^}eH{)xb 4L^cH uZVx 3mt0eg}&Rعy*HU/xi. =AT=Y_nm再[^*_>ߪZ7 s7A*nE=3Y#EW?7ɲ1($ ~ XMtRhH+o Paȇj<ʠz Tڵ [$_kL,hS22c4 m:1O{Ћ:%J6l* )t]E] 5OMÇA0mKY{Cuc6;yCOZxK[{3ڑXE75M0756ki*uS*kӕx6*%!55wn bG>QOuy"1(1iv#T=i;o|ob֏)HƔ dcdfӯdWz3t/G sDE,nԦ< &ľ6¥93??Y /"d}?7(.z:ŕ~z'omԧ v@PtWX4lX߻lrQwí$OQ)Gó/D?F¢mywC+߆ƭA_JS 'g(Ǽy#t%mR74kr 4:*Ɓ}&?Rw܆VS*w|1Z<(Cc=gGbG$z_U%Wx WQ"D9BCzaԩD8 ²AgYZ685e5b3adc9a65629a69c8647175447a8c51da4a72476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 1 RefinementReactive