SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ~3 ll< ] Functional-Automata:threads=2elapsed=15.947cpu=24.344gc=1.220factor=1.537zXZִF! ]ŗXf1-/6vRZ#գ9mB9c%:n'U]=wSz1 TTj}.B7>~!{ [VW~.A:/jN G\]qч\ӥC>I! ]-_Y J?6Q|Ǩ|o4>9wqi-vg]oO N( .=]֞ nur&ptFr=< 1ySG{~^Zr2ږufQ'֨rkJE[˷BT\#+n<[K=%w13csDOr:6pMor?b.#[p"ӫQaEpn۸CT+}&olܬëϡqLbf"Of*?˳ѕ?3kv<7dd[>h5}͌:QݶV *M!6jUt(De%ͣ~0 J26!`8蚣'3UCW&s: gЀMha"3j|gayl xgYZ7zXZִF! []ŗXi%>gx /P @M1#u^`gHX\ 0\'ެcji ZM0*3_C~CYME88E|i_V /#_-W>,:l/ْkf* Pt(U4 >#0&*)]7$ɇdڙ a78oՔIґJ#_? a%jtjh"Jޣ`)S|c"q8ɬ"P>qI& P(=;8 g?@ȩ J4;_R=کARa) ]1RəQE̼zΎh$߰`iRdF]kWϽwAG)Gk)P˘!^K&?."|3[Z F ?8?z~bw{xn(x*֥J!aOOU^wFf{K<tkڜN٭}TZ*wS { D*gqB.-^P#A]EP:X%LȾ3j ߜb^F6rv?/a.,EF>x{`_NQg)qר%@SmMȍR{RJ+0?LWٿf5 q€ѥuMnxJ(FhSٕsy ^"!wÍi N=~nz}v2en{0A~eBM d尻`bHB?,]EFH!-/'rpcEV^ZQ8&:MkE\ECPWg]7Qu_9dk?O T28&