SQLite format 3@ . BBh77otableisabelle_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 , \4L ]/ MiniML:threads=2elapsed=11.468cpu=15.912gc=0.644factor=1.397zXZִF! f&]ŗXf1-/6vR[ m; Z9a2G1B`jj?լ4 "4 Дۣ&8S ZJ!UKcB1G \tnmq{ ,SشڔEϜ8jn%yJcn?0ZGҾ?xxT8B)]'?ʋbXI)*#39BΎSr::HHͨ#ؑ9a1u ,< Ҍ\up *C  `y>$QCnY;hlgYZ7zXZִF! ]ŗXiɟ"xS2}YNd Fm*S* qaNP}uFOTeK}hI a)Q;dG]lO]NWr =Rյ"hYIQ+HYN)-/zburB]dgYZ7zXZִF! D]ŗXi%92m/_<+3 jdxu02@d׻gY]XFite_0֯I}#N)VO4W|Kh Hģ|RG' kJBy|j./`5[.b"åmCiBߴtwK,xtZϧIrڧ'0F}>-BSnѸQRhN v1Wh[ θНQė&^2-c'}ڔ8SqYX5ʽ Y_LSrԫ$CŢY(#Dv ) tC9kTgRvmlf3aG+F%2 OV jY|BHRczH~=1ϫ݉<2@|酱.f 7~9Uw?Z[HtM kM}fP֛:hꂖL@z x!' @LJ4 q 2ZkWMimF|\fqw (Y*9e3z4͒!qviw#y#ZRfq𔭷4?q!GW1d6O{6#/˘i =I\cUn=Nd3LTPu lMF@c>Cֲ|GIh&WgP"$wn]^阆sRa DF6(kfI ]ㄔ+,`stɝo~ g%VZO›sBQHh3NHyۉ#0~-Ԟ&J670y[U #: <=G{# ZMM;+dLT tqE+kH*%dVw]6u*LkGue x>~yCJg2-K\6-ٱXbIPQ <=<'MgYZb6483ce8a7a22aae5c008834796197afdcd54ffc0dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a   MiniML