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 " lt ]/]CRDT:threads=2elapsed=24.281cpu=46.696gc=5.060factor=1.927zXZִF! ]ŗXf1-/6vRZxqRT0W0Y+w+?I?Ɛiޭ8>.UfmOj lꗟG!j F,$6F: ()Mr$x*΃זo-u@X~1B:q`i{q"hb<<6x@`A[]jތF < \@JZ-&LoTDKCO cWӤk=SgE(g[Uy{ot|>^Đu3̀5Nq^eȄlKsTK9#8进(֪6}? FQ#/Gi$/nҵj7+J[N)ۢxd"k%I,/,;m$Vi[v- sbPy ;0ӱJ rUcQZE zEp(}v$ ވ?ߋg ,A 1ݶ3g-Әހ{)$D,hTЙnݐ~epovTC,(X,s.w= ! @aF $O8-v<{,0eͬ'Q_j6Q!"bp*٢ֲtQw]yr%2o:&-nQQg5G0%._m#LL6O H2^ c 1l||c-99?6U;ƒ=ȊNT&-ughaY܎F !3R}Ec.wۼnn>RKޕj9'4Eica?ŋucU*%-c0F|}R|`K(?q``& M*Űэ<˂vفqhB^.ib~YbI=WBrTS0g8GǦ#p Kt'S_q[D N&@2[,;+{̡5,s&NgUF0VMs7nTV׆:jWנ28`~#s'Ϳ2 3L|7 +J\+\+ m+@8=ٯ#ڬzFnC'8ڛeD>tI)cbd>N(4_ J由xՅ$9_>Ssvo