SQLite format 3 @ T .K B T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info !p,t ]/ List-Index:threads=4elapsed=2.100cpu=6.468gc=0.1247zXZ ִF ! ] ŗXiɟ Q=ߪNrǽY4Hղ{Hodi;!o8YLQRJ [ o-܂~;)'ZCQ@*W<gT$ȸs]^'R6UHM V&ZK@FT7t^B9I7*BltC{UH4' sT]w gdg YZ7zXZ ִF ! I B] ŗXiɟF Tp>>cP$qXLE۹G1)ChӾP 6B1H )Nl ^Jm} YZ7zXZ ִF ! t] ŗXi%TY$}{},-/>qZH )>$~up~fPY.l0P잍c;Vpj -GDρgwӑ@8T|[orիΒ^as1|Bb+ .'+uN"&}@_8r,}0ᑧ{]ԥlCZb'A [ap/EQڟ8R!u#.+ەB 6, ВEɿEnZG"4 zM`_vJb?n+~K^:af$(p⻇Dg+jw,St+<-~".St/l@jˢ9>LdIʣ>i'm ng$CN9+egrJkrh!\Byo4$R6H)+6wqy!eDJ7J'|P#"5u/v<4eQM7&;hwk(1i$g2ؖ-:5 'mT4~~'=<-ߠ0usG}g:X*]hTBK`]tT[3 A+ 8 g YZ6279e1a3d33196247444a8c2f877b9d1169dfedca8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b 2a3ae5bcf110c0b224d650e7eeeff12ea38a548b ! List-Index !7# TList-IndexList-Index.List_IndexPIDE/markup7zXZ ִF ! V] #o:>4T.@*LjLBNE} ZW驲@lH og/eEui ;P3R %Z2]܄70@'M}"h3;n|%O ii?#G;gD5*Ksע ?K$)fb^¬tT +wɭg?\*ACVbhRu6LiFl߆kH^.=3d{\G*kŖ#Kk#Obx:Y)fmW\oIeZ}*7 -6*bw@'GwHpysj7M>ȏUo=:b-z1hѴB~П<֢Zf.o{zaY ,mr1-vTuxR: pflQ&i. PSF|φ{n>G1 wa -~YO5Ɨ.Ay m:dqVږF?f]e>IYJ[d337,E*a887PQ&x9>n:As͵cO7}2p-GF0HZ$;jc|ePFw,pd+b̓hohQo*bډ= \hlj-юh0)p5dgw) i4imsɂR<Ҏo