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 XK LTl ]% Random_Graph_Subgraph_Threshold:threads=2elapsed=11.170cpu=20.080gc=0.528factor=1.807zXZִF! ^]ŗXf1-/6vR[NDZ1* )# rof [iX7C O)PFHfvBS K`mq'{"`C,ⱺzHUu{-!f> Psz'UGc_`RgYZ7zXZִF! F\/]ŗXi%93<ښM:wj^8a>{#˚?.z[a9= \# ^mAQP“_֒SmxPnɠHQXu=_?J?}{csOl8U:}FYGWIb,5:v AՋQ(\=hnQ @Q_l \s$p@-Ă;k_hhۄDzpspX8ɠ3$hL5u=ktN)q= 9ն\6)Li3<}99D8ǑApxe aZH(MF"effkZ2 &=Smɔ*ฉ*<(Sp=gC#r۞Atۦz бD2q4p:V4rlUV4{|g<-џ $4!&p^J/zrns!᰿#ʵhdpRB t X3\9saQL0Iea*\* A6'\$OU,)Tud&8`Klz|:[ݤmT'3KNV ķRvuZI ]!@o`=9/%A݌gYZc0c17516bfa796ddd76c1144f81630d6458c6284a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 450c54405b003d6f4b7501021314e5f7abe09d76 e81d1e1b44c37c41f13b1fb407f43529a4217a74 8f3af26c8419df3000612ca6fd629d09a954548a "K Random_Graph_Subgraph_Threshold