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 ,,Q $$ ] IOA:threads=6elapsed=7.668cpu=33.504gc=1.440factor=4.377zXZִF! t ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K gPto֓a[.+gzK8Y0hGԇy#IqVVMa`{6_*w)ظY1w3`88.))YoP[{3SDCåuY\,˛Hg iNn{SɂK:Nb eiӶɷTM1<J[^VE xٸCMC;=}C?AƵc+9h'4®/< pgl)KIXczKS>?hzu#v{L 30D.h5lMB;ܛ"FG򘭓X0'87.E>dWe޵zM ?qBL$GZ& 9 QzŚku$?͆m<qdgYZ7zXZִF! `]ŗXiɟdN'LvH۹)f]^5lݗno3cuDXxNe"`j<ثd u$Tm͗7h3|9%|w+Lڧf{.eTNT+"2 J,_ܹ6D,Px|^U @pc?A3-haQUu%&'X +rs/-IA0 Ȼ0c`S^&'m~ɍny ,_?eJ +/@IZ.-/oJ}5ֆ>|10UxZOwU#9 ";X V>EUM|b ,^(l YFgYZ7zXZִF! &]ŗXi%@Z懰g? l:UztmQv]6ҵER,ƁMp`ᑸ?L.`?N?ӱvΙXP qFë! ># =LXDqK'v0͸ȠsFcNyf޺Ad,HQns2t5,5^m-} b{/T0!Vd@g7Δ67w$`KY. j8Lksm+&xI.nUmV%Dy:Qn2Xy4C٤o<ދgNe<-l0vb R M8 -Tv2oQޚ0^([#T^ U*w%49'eU4 xFTPkp2Q3F (3mDPUDMٔI/qg"j>/ Ϡ3K\8G%K X-kH8<м!!{[GѩNw(MR$mx\VŪ L٫Yok