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 [[" $< ] Separata:threads=4elapsed=7.993cpu=26.616gc=0.540factor=3.337zXZִF! f]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^\#ݕkЍrV3I+MθC1N:.0Nk!Eע72. U=n..I!{EKՍ_IjF 6P$zanmv9ݦ2%?@r^f:-9>W?6A\ T_* KRҟItYI<|])nD{lB?tAԬW+'7L'?@ \HBZŇy|: Meb x:XZ| @޺dk!J߉h"x 8/z͓6.S0|U{sd\ ?[ &Zgl=ʞ#IAҨ m P&>:O 67nvMlhn fuܞM89R V)anZVdLZJj;̉/װIUz3|nw%hulmB5JݝAX7N; 7=ͅ0)@D^W 1"@?4׮+цg:.Ƚ-B s9b rsXTK0Tc`"Xd>Ȱl*)_:Ec_ 34|ݯc Ֆ,q '!0XF[􋨉P&@@|9@Ld 6pA.G BPo׭W;NUVr/F0S8zrbڛH;  e: (<cV1\T\^")J-=Cs& թw[Y_`&{:m|pr5׌ǎȓ6G#+oN;!z(0D|aS]k8'—װ_7`D}j@9"w h$'׸q/_=i2: [F70Z,4f 8$@붠CZ[1 Qs $=!fin.)KiKhpwڗLtTBC Fuvp3jY :±gYZ3c117cc5fcddde0d33831e03c756da5b5aef53ae5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0   Separata