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  D , ]S PCF:threads=4elapsed=37.263cpu=101.812gc=2.156factor=2.737zXZִF! !]ŗXf1-q恈͐7ӺV ),Jxx2br|£Mm"ϑ-F,bɀ$/TY *+m/9*" _ѵ%G]Rg?tf]B 5Ux+0IDC!Kn;{I GjL6tˑN6cw+  İt]mՌt{UXpFcE|u %PX\-I^\ ~īEZ[<%s[H)z}JڊVsW dʜ?% V`рx`qCݷϺ-3ϭt:2 .]Zu +|?P˾Z"hҍ:AALX%\Vn㚥% x2 _*'v6ًv0,;6kOX.I05>ΔtwÓw~L>{R!g |L`A9\D+ #G3hX 56ը Y%*[]ZBߘC[nT6.2 |޳83ɓr +~2;m,}x1L7Y3!6IHC9H:[ ҋmfEf\ ӭB+D=JX}UȨ~*(ikgeky@(%4qLqP-}tfe~ow,Z9pҧhZ7n(o6dY0'{89g!4E,.Ge]4K_瓩gie{Uyα@dE^  PCF  _x_(^ڜr0b#W];I\TKCfhJ!z]ݻ@=Cb? 6T7+'. NQE`H&AF+O{c>toؽm5M7ٽg=YNJF%D^ N^LM; @GJbrHznVDJai6֤ۤ{$<})_ %]|S1E,LJLsf®v$HId,ҥ@O.;z~ڡ͡@ڃDA_ydM,ޗ}9Cf5<2Hog5ӋAVD5جH"|t=@&K[; g8 ?ry zW So?>N)Sˤ~[g8yʘJINk/ R0aU=,t昣⸀^Qkb"$v\vv7YV)2EMl#(c4HR<(mbżxK>S$y:~B_TY$G,$+{4shHIU4^ў翫4ET?*|B{@s(;TCZ&}?A;śɾg9 S|lIz+~a񏂠Ǒ~[Qrjz: ؔGz)HJkBl)8VZTJfÕ5g>@¨-7Kͅ@<3Ӳ2 cw >m%EncnW=,A:3 LM[-0(@CEGCK(qq0NnTs9}^B5w9xiWQ:c1K٭3I0AQ8:',Kq ./85w( g恈S^kɲ_5)[G#4{րKBa]}"[AV2=*6yދ gk%y̵e[g֢[VF*\v2j?h9Y(?Qx^+!@RbXlÚw !5e21ڜj9w&ѻ`q7`ʬ7cVo)fi asDAۼ'hӇZj$ŦX76\ دfWaQL߀o 0j9-ۦ]ۼr "ypCdIw+;Kn_X`p%")C`cxe;'ӿ9[.Zk GZ_)!0l]}2PsE X^CjN%7ygrP̔kDO3jD|ZXN/Lꮾy^ >=bA%w"]nA-zo&l Q|ӎ(3=/\aе#Yd>ly&ʳ#uN>+%fd_' qlܴyv0=xjEXYy-G;\*;[a#n߽ O(>?J=j_x@`7fZd'As+ wYW 샽E]?\jDPKa3X#tv!ZD&rrIjň_Z֥UU)aKaȽ)УƾK.J' U{QLGu9>?Ld5GE۪MI Ψ݋6rf]!sn,~w&h4&0EJN ) &:3ԘM of=$H qjC>!LjŮx;Ҳ,FRD{bql̽>D1C\^$ZﵛwTR'sw/T7&uQC3]/~໅9X vt]ܿNLg5X",䰣Me!4 L0llQ#& ͓K4