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  E$,l ] Category:threads=2elapsed=3.363cpu=5.768gc=0.344factor=1.727zXZִF! ]ŗXf1-/6vRZy_^&Z`Qp Kj'>f[LG|F_۴=yڃzYIZ;VZ5I6L{}b2?N'uLnME$[jylpVN^3!3 &O$:~^aS`ؒF&/lGMF\S~3߱gYZ7zXZִF! ]ŗXiɟy>Zq6ڠF,Q:kM*v󽒕#0xA眍:8HZBs(F<-.yH^[{xӸTfiwhÝzd]}?6s+kgYZ7zXZִF! /]ŗXi%6Sup6iSl{#@WP!).o1Mt)t#9-,0D$=L(mr%L.XR#FΖ7] %~hފH!asbI'{%m mx =_yGNWn,P"Skf8V<(_o^,UKy} nm{,;q4_ÖmBp*kO3ֽ2Ǔ eJl˕c#9ˎٮe;w31קr<7i[1^翺L/}Pz~ t^˺ksNPrFn@ -rˌN(GA 9D|"00- wAw9 C͐bbk_\{sEÙ]<=I2R9/|Ft^i7nFQ{%O {Ĵ~wxZ또,20yx =|GGcb YM'Oɪ}3220BDCcbWڅZ7o3QτgYZb2414a24384b408811ea905a2b11fb22b342f98ee70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f   Category