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 HK TLL ]% Random_Graph_Subgraph_Threshold:threads=2elapsed=10.119cpu=18.312gc=0.480factor=1.817zXZִF! a]ŗXf1-/6vR[NDZ1* )# rof [iX7C g[d)\ EՂ| }WQ +ݪatl GR*CFA85MlgYZ7zXZִF! ]ŗXiɟa'}@U0DxxxU hT`? 'lѷŦ98:!0z"Szfo-I| 8؇`ϨM&S0Hwd&wRvQ⫶6{ e`[WV˰_F(Ϫ#&iTggYZ7zXZִF! A]ŗXi%;ܼh~$ v!-v<) K] ji*'e Kb M}cjbHrYcF "lfG\ Uq!'T %b*<0alL(i]D[,g<8 e.ʋ > t`\fGAۃ:614܎aS=o& IgF>ҷ=OD~o>]pJ1QʕݒvnoCt4|Dqg3ukʆC47n|> &<|SMt`Vʭ΢U]dЦ2Rna/+[I_o#PMJlLNo,>Np=5r<(b͆YꥥǓ<ӧOQtÃŗ۾~֤5A><.詽][i&V9/|FWohxm&4~ӵ {5y$eWO=YK+we=€e pDh>zL=l^Qف5>Lɤfja)<0i?;bdx;);TȰ`O΂Puqq* rҊYS#AX2\kZ$ҤA7eE%Q`Y\OJB+B4k2pӆsiXBCK"ʑQ 1eR,Γ rsat* Qni+B]`ֶU7G;V-.Уv;^&Q[Mn>3Fz+$>@jvmGt!tt"]ʄbBm, V[1ՀwYiк6+38W% ie]31鹌oR,9(a{E<븃[&aVoPZkݩa7+4gYZc815181509039efe6695e274a2111006a6729d5379d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 50d7567ba5f079e933f9c40588fc7548716f71d9 ac948ec914afd4b63e6792a895edef77d004e06b 2139bba8bbfdd12285e55f2d99b0572000845c96 "K Random_Graph_Subgraph_Threshold