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 m7 \,D ]% Transformer_Semantics:threads=4elapsed=8.638cpu=30.968gc=0.876factor=3.587zXZִF! %]ŗXf[&}=AL-3jtNc9jVq&(]x C,kX\ ЀTCD !յ9azUkO7@Nnlў6NԣkRjfY:2.Zr-m(7Dwm#39}'.+e ƁwdITeӱEIz]!VҘvޘR'-]gYZ7zXZִF! 8]ŗXiɟlΈA-̅(G]9c YA}xzL_0Z32AyLqz OVĔl%ڳ+iR:8{q,DpN#Ċ3puZ=?IYPd*Sd:7Eo#q> E%H|3DDޯ3uS͕\zCEl.gYZ7zXZִF! EZ]ŗXi%GV]LY̻1|bKvh li27li'dӖ (As&閧4q6b  A~!VLcr[b7`ldA6-q$t T/g~:3+?&1;Yif1Aն]7! ck?L l :m"3oTG1M)| |yf"!);J ?UӈLybaTZ72? YBl+<r_|ݎ;FHqTQwZ+WMuY,0j4K %YGԥdj^@|"8.-+ As:[P˼5q+n5eˇ^ׄ6SxOl$h`2mQXf-Új=K}7؝ bŽj鄌+0$JQ|eȁnn*X6`=%n!PUA.)f$>"|$j3uqbUDr<ȡǵΝQg%y`Mpr R<> ]*#/u&(I~%yLL P(X~.Wz KU>IQShO.7Uo]wǙ݇.jN#\3EDWC>ԐxDAG?/!ؠAɉ@m>Zv^R1͚:2%x춦n7MjcI+hJr%c|*|9?ʺ _&FE[&:8nj\lWuLx>vo0)yp\Ux77]N.\y+a5;϶!ީeF\ȑA|?趮 ccgp1# Vz} @@qUu[[W?\7|Fo)Co*YVJܗv1t!WkVN*(7d?5HhXX0c(}, FbЏ^-},>#bDOVku9Sb=e!NPlUbC