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 $K LL ]% Random_Graph_Subgraph_Threshold:threads=2elapsed=10.071cpu=18.120gc=0.544factor=1.807zXZִF! ]]ŗXf1-/6vR[NDZ1* )# rof [iX7C =ijY&5m=;$ \l51h`i-~(7m їiܾ{ ybڌЏZbJ8Ksp,uY! AP6>I,SYS*ri,-Lm12ö&gYZ7zXZִF! ]ŗXiɟa'}@U0DxxxU hT`? 'lѷŦ98:!%[:lNi^j[!L mռen 5Ԩp,tEFb)K׶M XGoyac? jy<TggYZ7zXZִF! A]ŗXi%923Th)B#'ҋuwbf2i<<\Q"C` }ZC43)&s>)(\vE!~ M.*`B|e}<ی :maVk0 R)Bn热i©wwa!?Dї]%J"Y4*cjIQzT&05#ܺnu3^G^]+l}w=J7X\`V$rvëUcZ9 :u>7GW]KH@L4; J1?VMEHs^"^QJ犨K#rB; X?hmUG*t~i%/ɏ~$'WXyE,-b$|rB ;p=a'GR*:j͌܂I5X&67r\A?pXyfQt\rc /A(^՝6~sll2: UC*[X5 3Q|qd!KLp&Zs:ERjWD% b𐶐