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 4K D I Random_Graph_Subgraph_Threshold:threads=2elapsed=11.989cpu=22.664gc=0.676factor=1.897zXZִF! 7]ŗXf1-/6vR[NDZ1* )# rof [iX7C  D]x+gYԟUϚy52/7kcajq>c*B5.Ճ<@]>ЪKq8,]wo 8A[ Txx.,F2naj"Ң C)=]2ɆTfߧZ|D%G߫jZ'Lw"ۈ^VRۛIʝ,}i\B[vaPG!tOӚpu!>fV鑠a2rȆO'Tuoɴ{9i +:A1'm iʱgYZ7zXZִF! A]ŗXi%Kcd Y{({CฯEwo`y?r5FOlHUheP, QѽƠhk2oΈA#_MCc%^Mss1Rr^˨92dBha/L[f@Al&c Q)_dskJ<ھ~+,]`ҧ?(( *`qZ^ Z*; Q^CTCzMgGhx-೤K38ԖrHݡGl 'k6-?߬"Gwmu"M쵍RM{Lʵ?W^aߨ5v?2&L|[zA0gmUxT ]uP#|!rϚW)8`!e{˴J [Lz;nS+㘼-!to,j!ogSϙ|g 2JNPǢf+Y q4@Q_-SOsTOdH_"[LR\Kj w'ӧt#4R]%+Kdl7t|t)zЭ]<|#Gh?}ʋwiP []2f]p`/MC-Ďh+A$OHռ*~)W