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 [[" B:K&2V~sw|Wrn16NNdyڵjt)Qˀ\RP=嘃wIbI dGtQk[6Uv{ڵ@ Y'gYNɬC :3󙩌d0 yrɶL{D 6rg:=JWmx{l61v'Voؚ3ACOXr{!50[j/}-yR8PR1B val[8b\$_ KX6b u*-#+he$S||H8/S 7R8"Nzua 5W%kEY ef !˿Cȡ3v5Eyɰ{J) 7 okmD$DWGtxR4tl&shs.fqbof]kIW:2PTDZgYZ7zXZִF! ,]ŗXiɟ 1FE`空(qt;%"Y lb&]3Da\3y`@Ӛ9bR*fH|qbC7n>Nl&J.lGb'N\ rf'Y){<h_V@ fChF;|/mTsȩrpÑ}ͧc/Dh/tmTΧWa9gb;Y ] 8޺֋ h /fH@l9orX"HXNޑGn{ϐw;L{ZA1gBZ?"Z9gYZ7zXZִF! K]ŗXi%E`ο |.8&?6$%zV%0;acXuO$?lT (if\{&7Kܣw2vdC{l 6{T|:-~@sQIՄ$ҐҒ&"V=d`"@W>|cD|l~4ך*S y短D@fuM0;@ѽsn DpV9[}O򉃳)q5*bU _+3kƪSyX>.Zv}:Ai-hI#3nkvRM7,gkx,_Č:7zELѸxT(F>/6SKll,۹Ƽ%HͶ4l|R  ]AS(.3eRj㇬NCKv;ToR)A3G?q=mff*iEX!.Hb7:ۄ (SnSte{^Sj6SW HԚ@EIcWf8`vtQ{"Y0&Ϲ13|Ks%Ťr0,6T%kB0m(L&+/*FGh08O8Z T/9oQP;sEf)FT&‚Dܡ/-%̲e61Ty[#f" 9e'RE:'Ljl2vQ>wj 2|v=ْBL?,Wwm NOznz :|?U2`4YPmW翜2]83zq$,nI% [YMK+|'ysNGur`..ӇPɋI)pB(,$5 W/E*%*I oRj$(c`4?T= . 8|I+A wM\^KRs \50Z6=DwSܧA`Wx\@JЁS銾*E 7tQyeɌPᑫDQNZ[t!Bj?H8s$@ R<;k(RhH;A=q1mh"tP+‡}M"'XIcJBom i| մLU|i9x˛7.󜮣W$>\H$zNPo # gYZ0291d1496cdcab4f366e354cba5dfd03e0bb45696c8e13744f5674a7b5f427d5bc2c896df0f961411155f9d4067c3c5064de5ba804c6e3a2e1788d30  ZF