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 XK |$ I Random_Graph_Subgraph_Threshold:threads=2elapsed=11.776cpu=21.640gc=0.584factor=1.847zXZִF! ]ŗXf1-/6vR[NDZ1* )# rof [iX7C @[P2z>5زYL]~E^.$SV:2bFs*1gڷm@I5q 8nN&j,ϑ)%k?Xms/uTw!CCg>(jꎻ7 fOCV}`|\uA-zbw_RŸ'!> 2M@ ^f 5_rƟ 0,ee"ѵpgn{0hCЂZ)r}Fc3H9%&[nes8۫&= Spg!xu`OtG1f!Jm.gYZ7zXZִF! CK]ŗXi%66C%IC6WzRNp6<ed$J\8IN4|: ui,GR>v\ =lߴuo!Yǻq1ϥ6ȿF^+ +)͙D)[]`>䁅LCL -.ө BrOD=8Up&}wu.d:[$ȭ/N }F$HGДdI+R]^_ 0R55\I]GC?/Cؼ.b) ۤ FaPV'ڏ}VgPbYCݞ^mŠF3([0^P564d][J`\}- +ɳ`i'ʺu p[9Czn"ASNl6RpH>ɔ^ZGmT6[/<ӑ}ޤE \-V6}"` 5|!jDOlH&A"xp`;x-C Fj{zܛ7+q̯S[ZKDy嶥MwD?VCy-q.'&2R/cns!^8۽ a^tJP uwl^}Lgm 쏾csZ,,>|G`DO3 5duDC>s8g!aw;uF= 2^^qMdcTG.,/,BN<\vJ˪m!F8oƀ?^_k{kQj*O0YQ'oqRk(t;oWVr9c1mJpXY&L:\;p,%c#/v++9ǬM1KޚAd*W)mŷ:gfg Ʀ)ѐڢr$ajF d,w홼SUfkʓtBKoq rw71@UMn%UڀL-ہ|'O#+Xӗxb1V[ 6J:^c-ݱ7@ KSX,#A,CugYZ54cd8b9da81da676571f9ec93abb35e26767139d 97bd713d5c01a2a65fda9f4c90f5dd0378e58225 9a79b99f52e090c15cc949f01c2cdb34d1f8f339 a197d18e1c5fa2999e45ff05ed08a1cdd94c719f a7607e1706918d77353cd51207a150f0b84fcc5d b80fb750b75ae80f089ead2d3ad70ad9a4746b3d ebda526a38b70d4227a4d7185642da12b77d4b6d ed93f13836f4208e53908d297bb056e36e8cc7b8e4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb d8625272701e7304f76db642b7fb0e61f9b07c0f 4e073c8ca9995e1513fd8205e4ed94aaafa60a26 59803954f05cefc5f62ca1ab8b43e1f15a1eedf5 0c69e7ea9e00de00ffa65c0625e0990adb806646 efe4ec9a7468070a49247d5067dc93a6a5271ad8 "K Random_Graph_Subgraph_Threshold