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 $l ]/ RefinementReactive:threads=2elapsed=11.479cpu=16.392gc=0.460factor=1.437zXZִF! 8 ]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓg..  , %1Kwg聊[ ƶ; h`}W +zaޤ[ 1kc&xR8qKF`r% ÓD hnh~SKe#B `$5Â>'B$.OpcO4s8}K|ȱ<մxDŽ-Sl.nI-;K ٹW"/.+f 'gYZ7zXZִF! H]ŗXi%;ܹ#e΂FDY8dž#FlZk_Ò2\eWJ61"0 0!Pqa%u}nP`hEn2ڄF~ vs˝%EߛMt"t2h`f)Tkj9l!M[ sbu}fD"#b9޿unַ !ھ݃wBIed̛FէrO_6%0THiU]va/I;8zR!ജnHsSҠ]L\qU,b:ɐ.MĦ+ 9i)Й_, 4.(h 麄v;7`9*'0O#7zq?TP}e=*T愛llDJ^ڔ}kN^_,#r,H}|kN?~g[8/nr kq.7$?yq,]Y_FNkg>m'f"B#-#fD0قOʻGr%t8ۃz~lꂖJl}coLq0}l,)/7v⁀EÑ W] > /A|r9ЅVQJYDaȎ``%ju9(oRy[|+]x>`_}sڰ Wi]$oY-|\GZ19>;kT' F7WLNo֔$ @\3QF ]a>x,B {0ՂC- lQ(4:s7?0ký$M`Cu#L7 ;!c Y[{ `u >M9j{/@ĩ2UPEs- @HrsXndj0HgYZda13cd1e95950f5ea616d29bfc88a742a520f23779d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 1 RefinementReactive