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 lK < I Random_Graph_Subgraph_Threshold:threads=2elapsed=11.499cpu=21.756gc=0.648factor=1.897zXZִF! <?]ŗXf1-/6vR[NDZ1* )# rof [iX7C i(.?nDM*VzvK9o^X1mSBk yo5ŽBwN{tRV}RL:shbvu=(8|XI)F_:xpt H G1~| ȇX>)46 ,TgpPUnIP+k0?(&D'En|Ifl5Z7NBؚŒΖŀCߦ$Kt8";z+ CFpY@϶ty` v ,10o:ȿ2Z*PmIRb2Pf~1Lܕį6/Fs7u!?R~,H#gU >t vx%ү~{Kx/՜SN6lZjK* 68bnfjIhtz?Ib,8Hs@DWbSEgmls5,8$A*v`ҚK7 Kxګ[nL~L,{7,7lqؓ99!zZ>A/kbC}>J3?*>jƾ݃⫆Z0]e(:V)l:-DPL"`.%(" 7U<3q~>y!kׁ7RSuŜܿ0/fktL[YP%dUFaHWTl)JRkb1h|kNx᥯u \$sv4q~by z6I7'p6Žf{% xLh=§- )`3_G(?P;˩&R˘(I/D>߱xGB$sk|K͓s֧ Ҝ2o}>=F&nen3|ވVP-@xh #Pݵ x6=[ZWY.Y# T4 y<{Ywػk3{r -agʇg6u_0 V%͓)+{mz#r% @Q#Em'=im&fߥiCGUM! h>6D֦ƏؘvHK\!{ =j^ ao_Y:aՙӃDSgJ1`4Dxe_3g+6.]RqhhMXmu[;!aђ憫0_2vq4ɤD y *4QQ^ Y4ȭ/CfdhzT1WL!>iSˋůnts YQi'~V%( W!~Š~ 3^EKNl3r&@۾_7~]j5ɢhOY.gδlvJ6GbO0n707̹x]H\0\fO3]pĖ"F*9p?1cݬm2:I%cPY|1,+'d~Cc Ah&' wvkm@,6w4L$SWTh]7Pp`A- mNvpUߢ׭o0O>~ɛh?ri~&j,FkD kE/'!2,;`1D=B}G5Cu ֙81CZ%dZow@2ˠ#='˺f \+jua㮻 QŔGSI@]@Ci;0p}3\s,pQY˃ 5J@w}@G ʵI_"9o7og޿\<ږ>E^axCg-(33E_A؋B_ٯI:?]7Jsޫk.BXzV3X{0!F ua~+[m/p{nܢjf 2Wa# :蝎+}b?IבkMPTLE/PRzVXˊ[~c4g؟Rd>HsO)۔}_ބgULѦuV䆋7=zCFV/D8`@,{)g\D8Zu &19o)VKbs @v>C^xm*XEYY8UgYZ54cd8b9da81da676571f9ec93abb35e26767139d 97bd713d5c01a2a65fda9f4c90f5dd0378e58225 9a79b99f52e090c15cc949f01c2cdb34d1f8f339 a197d18e1c5fa2999e45ff05ed08a1cdd94c719f a7607e1706918d77353cd51207a150f0b84fcc5d b80fb750b75ae80f089ead2d3ad70ad9a4746b3d ebda526a38b70d4227a4d7185642da12b77d4b6d ed93f13836f4208e53908d297bb056e36e8cc7b8fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 dc2961254cdff5383e97fe7701cad91d01ec577c 5e44082305b3e1a44d18a9327bc55a4a3ddfaf4e bd0387820c887a5b95904735a0e26b7b975531c4 9a1e199125fd0a92ee6838ebfc0691585c61eb5d 5c9085c6efda5134c9cff45a9c2c302080d08893