SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 $ I Random_Graph_Subgraph_Threshold:threads=2elapsed=11.808cpu=22.484gc=0.596factor=1.907zXZִF! y]ŗXf1-/6vR[NDZ1* )# rof [iX7C I0~O,X. 2O8T/{/xdBQ>IRVAg8 OND6rY-JTSͣ{6cUd&c>9ZT r,uG2Xzt Bgq+B R6THޖ|q.`:P&Y)rv0&ߗY= VB5⍆',A  /Q&>)Ti#}W}?F]M'b9aPɀ~3"L|+pykIZ5qG:oFrZGNR9 *lv.=c8&bZ:*caĖ/M'QN]Aާ]/WLPxDg`e#za%鬏TmwKE5m7;{5228[X ܳQfގb"20w3 W rGևf+j5fn/f0. .?t_0h`87u&U}.zINM@B(F@\z䞬o,_ja!40mFGJ}мs(ռG*ɒeF~SZmA)#@,#LGU+/ ltD6b8lEG ɦ] F{XX;2jHgnVyiǔo?w6q0 \fNEy18ٶ 1ӭ-;*! :G&f'$? D '-B [%Qvz@wK#Uoy $D)p>x'-ېWS69k"+=.jK%$a@!c_%iD j TCPWB1߇{"E;.`>;r3[2t3*b7(͂ lΜ,Ls)~.Xmm3 泅OrًۚoHL 9ZgYZ54cd8b9da81da676571f9ec93abb35e26767139d 97bd713d5c01a2a65fda9f4c90f5dd0378e58225 9a79b99f52e090c15cc949f01c2cdb34d1f8f339 a197d18e1c5fa2999e45ff05ed08a1cdd94c719f a7607e1706918d77353cd51207a150f0b84fcc5d b80fb750b75ae80f089ead2d3ad70ad9a4746b3d ebda526a38b70d4227a4d7185642da12b77d4b6d ed93f13836f4208e53908d297bb056e36e8cc7b8db7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259 e239851711910a6527f92e8db31572ec8f52b3c6 db46c2d97862fb5dd860308057c1a116323a2f0d c7d16a49b695e38a9561a211a55bd45b0e798182 36f51e88ff4fa013204e7f42bfa02b68055882e6 a2df7406b5cccf25e243b54b1dba74860066626a