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 r7 |T ]Pre_Algebraic_Numbers:threads=2elapsed=16.520cpu=29.380gc=0.560factor=1.787zXZִF! Hv]ŗXf1-/6vR[]SZVB@I3Yf/jG o^1Q*${5;;ISf;$0d%ޱ<3xF^܁ BK^51_ hJ ;^%aᆔӃDd|ƕ0K,8j(dBӶZ³z[,wn6M+Bi:(}!w;|'?!ؓNf~`o?--I,ՊŀR)w(xa,Nv%1;9ד 3*"h9h.4Sc6] <+G䢛o՞g)ε |@[}OgSY]ިXYNƯv_{ܽom79bK=j:6r;oz+t43.G>_p&H;xp1WC[+{oksNPyx{kwxI{r0UB2×匹MF'4;jp):Ddn|S1L%ZdQR9vWٹO] m/Kix(%SQp+Rmzn{tkR?L6uR Od*lTgj\wW$,r.bju_8ZzeS),'B)č@A_wf ,wפ4[h2~o6|J90n.O|2]bfS 8m'?|ϕv"khkGOK;{ X ")M\/ٱ6ؖSRe eH]2;`Qib{$X9陆T4ZIt"+Tw@*^%k[\$v_w;H{ *:(ɄD=Aj/uK]N/̅ؼ$UGzFs ! ,JC&x50aJFI'>Fm*3"+&naQXQ)y*nzCV_t0dyY&gp}@y#K{$Vx-ZuL6ZN_R7eܐ)?Qz搤3s%I0dR*mjуC'gV[wkgf.^0V0XV 87^QFV>SIخGlW=KLj$ŏmvG <[hÿet%8G%76*d oBuc8yTe-ׂk