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 s D4$ ]/]HOLCF:threads=6elapsed=13.058cpu=40.060gc=2.488factor=3.077zXZִF! @]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@00rtDSujzi0[ivp)'<.n_:`bY8hIyCցͺu 9 \i6AO) v5UVEbv׿ I||VVct6VJ kgnr6u꿢p4D=txhfO럝Fm ;H1%4N2J@L5q[AT:ɭ tEB슉 ƑD-P&V\mv'M܉ PyKCB97T+n$y @ܦlshB{ {r,Ӈɇ9S2]mgbԃubZFj6dž&w60~jFFrwo AG_VWW])ul a87.(vоTIS6*Z6M~F 3w=N_GU P= s$:dG\Y<|Ya{4Zw1{a(lH }1 ܨ#{W>/ ,#n؊Ɛ:>@rJZC:7᱂ -PF3TX ts%mW0V5…2{$B 5HPe*T=#sԎ˵oCDw cý8߉QjW.F( rВkyS ]4ߠtq/Eg^]o< l@s۲%b3>iܶF9mh3ZK;Ơ楱gYZ7zXZִF! >]ŗXi%>W nڇ jr;djHZF5p0ʭNLfifQ;0Y,|8`/QzZkrNcT - BQo6lyu7jdbC;sns\ox]Ye:,ܧs`fhVssDH]gd s٥CNId`Jt! lAvf :K!k"a^Fo~|=Z˝/Yw] ZBBUFhg d4IjL7:cވCc/~OO,u5wbA$-|c=+ջl)][X. gtN9u 7/4%OBe+{naߙF9u3Ĥ[- Xl^JyNއz!t]<3Lw~P.pZ3۞{KVKXqLjEڐ4 S!iH3t)ˣ66^&OdODݲ\ xϥ~-!⢪t{[5˛