SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 33J1  | ]S]Nat-Interval-Logic:threads=2elapsed=43.617cpu=59.696gc=1.724factor=1.377zXZִF! +9]ŗXf1-/6vR[o]dhNZ!*-| #LS>䡩uV;N+e WR_߿$ѠϦi)"Ty? b7&3F;-a`)xM+jDbO-v|Sءi7L*D8~Λ&ĻObQ$tj{We02r~R~ _! tZM4Y jeOLb,)Ӳ׸iņڌMFojɲqLrnYP=G2|kυyT eFFlFWHJF8mx6U=sL|7<և~rpU}G&Ŷ"6NM𨧡5mmZ 3d-{gYZ7zXZִF! ]ŗXi%>g@ەK4W!;ĮX9sRH0 KWXt3dBTV%l̍5VΘHʍ:;m֪r.[EfP?R~1O4!@`>Wy{/!3lƍ~vC:#V"d^kGWQpȾ),=ȳBSv5~*45+^&ӌ\P-o0+PYr*Ų.k{Ƭ5XZv"p״iSEHtv$ZOq'MTԮ#cف}77g3P7.p!yެ۾7*7xor3֒]r|ƧiW>e,;G;˝JAM*uXkj9eI[=Pm,w^Z,t!j(#fL09 fMP @a%h| \ dG R 4αWMEg{nNdDCI#;xj$7ެАm-}&YX伯{+X;6y:l=+GJۆ9~/J(d@}D2h/_zBveq%;O!V+qb 2YY6CѭXM3n2#M}mpqkhd1TX`(Kݑ/T# (t#BeIّ:\߹k:9 OZ5c+Ռ)T>PUqT&]՗KB UT;~:{Mi8XgچLT51PHD=߰Ll24_jQu"ʛQb9TF5 _'Û|>!0zSZ/XQGsȭf-a?]بFl2 &6_8A$ڵڡ*#lVa+F3M*z C#] : ̢nu e˙pALAe_:&qxy K3S2W^hE^QC0=Є̷!iQr=ns6JR5%#cyXj:Q:|JjX-qUTLCTZIi0ZoHjb+inUDZgYZ1220f3bc5709d28cd601b18c056748ebae7094ff665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b b40f2e40d48d88c73e08ffbe1f0438fa17c7d7277602f40abb9de7329c31b753db5b77ad7737cdbd 1 Nat-Interval-Logic