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  \TD ]S Show:threads=2elapsed=21.515cpu=39.944gc=1.960factor=1.867zXZִF! *']ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF6#Ke{ǁv86<mu) gMsGF^#4GjQsjwrK?J7:e:&|e RUk-)z=Fk4bt⸷$sWM]ynwh(Q4|,;бH΁@+MeƼ䴺|rMQrv,1@؆1m/8;nj͝+f$uNMW="s&1H >ȅf+(E/dRSi8+Ax̀cyJzylVsy,,7|>1PjYgъ-F B"DҸNC:z]aDf&IX:t7soX~t҈8v>iB|QZuE5%"t}9q]\&+hW2+dsuJ7|8i1 sJ0Z$땃   'VO^p1 b gL/N n27qZoc"jZd5NOjT6L'. `/Muz+tBD9HW`l~Xr?t"pq0p˪y$F!]Dؔ{)ۭYQVIl|yN}o& iH8^lBD+p8-4/abgYZ7zXZִF! Q]ŗXiɟޅ*-qb::E'F2G@UeuS W$x<⃰Nx+jHQ jZC|TCFZk\ j6-QkUt*+MB lE_@`[dy+rBoPu 3XIhNUF;oҝ$VkCi'{GЦqwGvJ1MvVRJq,gYZ7zXZִF! p]ŗXi%93yK!]XSG"3֙~HEL0o/FSag8Z IL$!M^Qsn'o?Yni>Y#;dia~]"̔J8WKywz2oQ8UFU*!)v)|ˠijsN8ث{"Ni~w=a(  pd(ܗb:@bNĂ)·I > xɃ2ds~\9݈xVS7z69֫V˧c{:Dc`L^шgt$j;JVu*St -ia# l sHu#I7uPYy.1n0z> ]#yJQTއ#^bɁ'{€OC_ND%R2`b>u61]BoA)` ݽ؅Dn H [d ,\DBgůK~yE.SƝ)&?|1ghK ˮ4u ?;*6l q4 6#jᩴfo0cO.˞SfiMwLye ,Z6;q)TѲ"BH XCN +P+VP$ "z!͈cE9Fz7M|V"ѭ~)Ѱt-Q@^50X3~uHu \Ϯ 9LmNa(3,@KK[tB 5~qQ%Je TʟhH4]yW*[ȸ8[A=G~bv@+u1iKF? =gYZ8b1d063a8e68fee4cb1dd4d44123020e7c8bd5b2a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039 071a5af1e6a7b8a89198b224590e1aeee4481c56  Show