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  w t,T ]/ FinFun:threads=2elapsed=6.434cpu=11.540gc=0.648factor=1.797zXZִF! 2]ŗXf1-q恈͐7ӺV }"cXH?c;MՀYxs!7wgJ&ؙ_d̖ú(p>fX~èViWhG7!ŷ%y'i9zlݖp~84ݱء)e*F3Q1]!;N/Z9KwV-"!ozZ$B ˌ&*(hO")JDǑ1s[*q \f܄IM` hwMFveg@$g.(4[F4HPzj88 ag <^ٛi/ gYZ7zXZִF!  ]ŗXiɟ1˦r*6ѷuVBm+Cz#!5$$q;BnUlg<1ġ7 =ZB-$U x^~3N5g@ߕ'7 ,m~! NuNCE"Ť~OLڑ2-̧W͡|P+kRT[uTf^dnd~e%l ?ѳkۍ6 xL [Ze;mFr9S_ΐ _ܭƳ~RgN&)؋HJוf`4rJkei::O/N߰ jMKք箄?#apxc6{w(!ړJ{ʵԅϡYP(,?vЄtN+ o!b{.;wZtU?B3DxCpS߬a NE1F|dȚ{ >`# .N{h,'>JiLcjY6LFVhc-ߝ1ҀSF -1Iiaŏ%lbXwlE-,$m(`_r |8KY;条Nx)m3<Ӂct8+O'֘KF9X$\[T ڣ4": u]`HG;VVad