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  V%l ]S Fisher_Yates:threads=2elapsed=3.100cpu=5.824gc=0.116factor=1.887zXZִF! ]ŗXf1-/6vRZZZ J.LG*7*A@oI9S*7[yTN-c RjezJv(q$2p9]p;ɊfGMQE%ԑ)H_B'vaw/h MeU+5 SBX{gYZ7zXZִF! MB]ŗXiɟ馸X:bLd`". Q?[V d}$҃'3Y`_@Ѽ ^Nfڕ}YZ7zXZִF! T~]ŗXi%;ŸyVMq̽t`vѷ{hz3tۥppL !+ԴCE>_~5dϐ ut4Nwp}dcy=@`N +zA]$2hSpʦi-QHٲ9 15m>p楸(q=)=NBmP?yZhg:@T%?ʍ׊WBjYuI?e+S^ gɩLHCC`YZ;mm31^9ܳՠr9҈~CyxF! 3S-[KQuMq</9La&'q{˸YbB3pJQ)#{n!ѻtq~Dz(.z f8 'p1Owic=y]rgp.Vڦ-l>  c./ԥ>nCv|),^~༎U`(B0GLz[PK<;gYZc991f0291fdfac14ef7cd2237422562c0340374e79d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 197ef942efe1b520e57810c9e607ada8b7573cc3 f4ee5e6962aa8487523b865ec9e73e61051f407d % Fisher_Yates