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 /5 T$, ]S Lam-ml-Normalization:threads=2elapsed=9.623cpu=15.844gc=0.916factor=1.657zXZִF! m"]ŗXf1-/6vRZUT,}"67}F%,]!ͿxLРxGۭ@x츘 GvQvq;\߲DRM:p@0".OMWAYgwC>[h.A@Q |\p :*ċ a}$.SeHUX6F<5?RJ[C.V@ݴVǠc}|te1…Hg@PHcKhlqh}xBl!. :鈴gYZ7zXZִF! P::name=Lam-ml-Normalization.Lam_mlelapsed=7.246cpu=12.036gc=0.684|tviQՈ}YZ7zXZִF! <]ŗXi%;k$D޵"D RpxH:I&.Mfb*@`(_RONŠSϹ$z/=*=dd/oW; t̊aDkbg|'$ V$seVE7'F4' e~yU\%mZw* {f1v;bw>b@͋-@KS J$nj,LyRxcD,'8Э!Dzq9yOgƧb= ST\}j*jzAvY#R'dLtmrlGzz/TWHx5\so!{ꐧRCMORp?BwE2K5'AKMLԾgcA^^.k)?jAn 2\E:MX|翊o+ɫ xX iQRczwY䕩t]&¦A\:?h|Vyf@716L" (A+7m|4@S/W&tiy6zw1En6iE_y~,| _82'= R{9?g`) :F6u0Z"t&c H19."?F5_q`ߖ?z+x)?8g>tut4C>I? :;JWN!z:gYZ3155cabff51c99b25fed92b46b390c365173dc0e79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ad6d44f7aedb014e340bd82c93157922e7ad3f04 bca3c3591b64a9a1d886426667424492815bfcbc 5 Lam-ml-Normalization