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 " tD ]]]ZF:threads=6elapsed=12.355cpu=37.296gc=2.036factor=3.027zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw32i*%Ǥ 1f@ 4n-rPWy1C*Χu0<3M+pf UALG)}ݛ0-sG]ECr(B=u9Q~NGxGX+bOtDcC[s-`Yi CdhZ^B(Y(F)g++u+C͵$ )9 L=ff}ua$'%d)R.&y)QMʙ}p2;05csUM΄^BTqGJb0(YZP!J.ʋ2bE5μe~˙/i(;'͞hii /ck`ۦTF ΁*Ѽ:8;ԱgYZ7zXZִF! G]ŗXiɟ 1FE`穰)I̧փ埱qA0P qy 'hYtvj~.I$}DV( dmjhC`p⨴4  4X Ιrz.Ei9m r3U[XXzIݵrۮʃLYn~JEs[X$`&wy;krRWӈ3^7<Ś;;Pq%ey: 3ojթdaC 9(|mSvC5 -n+NQ IP6=9Ai1f~97烏¶  q V_1ĸF_yxpI1MD/'PK?p-穜YbL2c!l },_$nM*'I-9I@]VJiU)TM ಪJxda 2iIY^:~%( Hy)eKFJq_>#()W'u9D"/ހ2I*so?1l^0Bh*O}A379M:Kfe ()g#J`~!I `¥Xg#4i|#EC˽NiN Yqt6 KN&2f1Hyvc1@p||9?MF%g5fΧF+wF1CzDM%SZ* e4Z/qZE^kE"qFu Hpn Z\>q6 h6 ԛ> L}߈jg^&`;y1~.ɴҜJF['Z,B8hIDR5 ;@ciEZrx1 Щju6h{u$w2N^b\ Eˀ+RLG5OD,q>,䐳hq&=oiϜz=<wVIzF̧T+(72&iB4. z@Kr'`uu~x;w}9/dTb v