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 %%XS \,t ]/ Noninterference_Inductive_Unwinding:threads=4elapsed=5.274cpu=17.260gc=0.624factor=3.277zXZִF! h]ŗXf[&zV 4gUM=кt_2w)~|(s8[Qu>\}ߗxj+MS |rLV+*PVtqP~5 0e*#sz9Boۖ}{0 ìtG"Kc=/~p'ꏪt*W;+`|]N| V{@?`|#~/0Q@5bq*O L:׊y <~6sg#q*.E o nqaM=1Lc8LElڳFWadAyB=#QԇqwW>-Q(gYZ7zXZִF! ]ŗXiɟģ={#1w,<=9<0)xGfXTc,' xULYVy)$U !d$+ Y(aT&.}gN^nKnf~}cWt׽n+͈+ !)ϟqn9%-H(co逿Х!#|O#nu?gYZ7zXZִF! /<]ŗXi%Bo̮a'*嫟3 L.2]T*ižӶ |`M^IbQXhsOv;.p+G((&b<' #ܤ+?^-˜4LG-H؝yW*&K-_xgdDA²]Y\g {._ rxX#M6 #bG1ڥTL)ERְm,epxd,>zRUZ7}0-7w}v T֢RIT1g ...Jە+`)oNڤʉ iD!CX w.dZ~6+( }.9ɡ.b|ngIS'ˊ2. aBN$2PENxwꟕAoo`~;9]xAuc+N QbxB5dy  g 0c] pN煋`dt A*-o YGHa>'waua#Gp6y%5rC`A*"yxzXw8D^du7~FMN^H nP{qK|Z(ʟ;mtLТ@}:^]c݋:˘Lm!'/*=R8D`$An"5:1+@rb߇vR-KA2;X! }i͔NovS0ソb`F@j;hp6 k;*h"J.FݵM}F`Bh 4K^gd