SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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   x+ \t ]/ Verified-Prover:threads=4elapsed=6.209cpu=14.680gc=0.292factor=2.367zXZִF! 8]ŗXf[&IXܶ{eulvG<}, ;ںuySVLPRP6'EKd[aH[JBD`%[*ŋ9+ٔ>P D0 ]2EAڦ}j|BM#,;Rb p 6OUUm]Ё|I~ߕٟ5O-}9QBhA\L5P% )UgYZ7zXZִF! JG]ŗXiɟ@: {GXjWwPAR,:-n} cN@ ?EcKWX}YZ7zXZִF! 73]ŗXi%B:g⻬RBEBn'-N"0axg *Ʃ"\mM: GӁ1ld ^mȡ~Qɡ'Y{a>`REmApOpXnDJh>>Vo=e'5zk{.IYQ2k%ێXL rK7aIP @B+5hzRs5ܴ'w!I6;_] 9Q 8DT.ޖzaF!_yz2 fNg`dz҉M.b.AWiFL;\", |$@2(EHu i ~Iy\$FAYR\h#IH#Ꝓς(Fd{-' i5)`𵌈ns-9>5,^d{a*r&yHq l Kavw>R`drS2Q"e \d@x_K^3e.B-S+=KLXq{wQy<ǏM?ǟUvO:>nu<$901v_nrg}'q+1KVʃ 1;0SWtw~sWZWKΫsUl0G:17uR2xiornp?K Rwyo!xgYZc2fc188dd954e2053723dd3857d4b3f8a57f737f13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 + Verified-Prover