SQLite format 3@ .  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  u u Lt\ ]/ CYK:threads=4elapsed=3.787cpu=10.796gc=0.416factor=2.857zXZִF! t]ŗXf[&3wil=xq:䄥DHA@p:k*6Lɸ}~B4p2I^YdR{oa#tIoakȸcD sٙ4q9)_`kEwe'o񪠸ȵ‡T+2lA|X;DL`>wF551HƲxy^nx<\5ƺQ2쯩_] S5h TVUrۙ||Dy\ `8].> {:qgYZ7zXZִF! ;::name=CYK.CYKelapsed=3.243cpu=9.592gc=0.1768lDOoT}YZ7zXZִF! ){]ŗXi%B20s[BQ樽ƠvCsvoidBm΢CuV1]l1 0 VP$)qrŀ˓OGI8w*uMJe {N.!,sS"S ;gM30JX۔mQ1s,ĥܿԐ?8јڭ/F(\RA\o*#(BO 5 _@ZΗ0A'8^]kW:WSjIr~4jD@k 4*%_zEu qYjz1 orڙ)P hHɖ'7֓yp g+Hf/%ką W&xCڮ1́jޣk)7e]Ra`iDY|__5Us.97HQʷ0sE$O=XW:bnj۪n UqRcn :s WW CZ/,QWt -8|=8" l Hq##EF/Jk3O1/VL;[i9$Ej ͨ˾nZ{ l"lM&aovQx!!d Gzy&bCrwk.{PqSj ,x' l?SJ,tبW*7YcVK@Ё7DQ\1$6lֳb?Go0nKrg#3] nglg5l#bH"Mr}?ĉ-*p %{~gdAvuIp|@ibWLͻFBPM^m滨؄j1iv]|5sddG4EX0뱐 RݎgYZbd906dd8a7e42218ff811248dde40c21fe29b3653853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0  CYK