SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  ? ?>+$| S MuchAdoAboutTwo:threads=2elapsed=5.419cpu=8.696gc=0.256factor=1.607zXZִF! q]ŗXf1-/6vR[k\_[FjhfPiYLKh:(Nk崝&t)?Qr 2Ԧ{B-MPlBkd,K~I/ AXSo~ï!iL̇qGq%2ܷ?oUW@gYZ7zXZִF! %H]ŗXi%cx JO4)'[#/[ mޚ4oTυꄿ8@(wS>h^ֿdccX80䇻XVWr>CR<Ƚk'q?B6N;lѧm솤AEj\2+1 n(𫚺8⮴6O/^^y9~{Y`H⑐}V%O^ ;Rik,Zcv?Q:>Ctrz P3 AAhi#T 2( ~vya;1u,* "\2x'p\;rNh>E5.:IMO 5D~opƞX m<-vh0#0L㫥7;*,PPӂ`NCa3_;P?osv^I0-e2F<*&H6FNX.elP8haC9bY]7)٠,emSQ#1ľ<@3ӄ4J(Id*^NiVg`0҇+le:&mI]>hDE-u5,/,u"02w# g+tbk]I7m}ZfOx d8_l4S(Hؗ |^Kg2ŗVlj,~]DZ,JmVNQ9"JMggYZ1e0ef1b731836edc5b77fd5fb97fba22104097e6 2ec70c5a14df2cc510e42fcb79e841ffe231c49b 8f8004349bfaa7d7d161c5cf53904cceaf76c45a c2b674203e2ed4778417cb7a191e611aa78312c7735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 + MuchAdoAboutTwo