SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info `1 dd ES]HOL-SPARK-Examples:threads=2elapsed=19.908cpu=33.192gc=0.792factor=1.677zXZִF! i]ŗXf1-q恈׍ V$*(7e91z=%D'\YWg8h^ǠÊT߀, !I'0G4ع@XnHПèI:M̖J{r2%4!(%d`Gv[EXXu >hS-RÍY״Rs >tidqv_!+koA=iseJw!v>g}l[( _u&]cRcfnȂmƔ\5 hVj!ݗɬ4rm٩c(dX%zz1۴tRq=yk4 i> .cݤ+@ox`hjdGO'}xy#ʖȰۦG_vHneP6GͣKƕC+ \ UN܆s0xuL0 Ϋup-%י[9&w &MSaz9Z'bkR~lK@I]{Y8fdv,FplycYq#B#Ӆ.sz8 yHQx.b tpŘޗ6#?@P@XLj%ډ@/. yg}tj(7İ\bw9d>Z4;./j-t)R 1$:qތp4Hj_zfʺ0H &P3piv8]["c&*`9z)} %X!ΖpPqjć/Z5[F܀+d~kQ w7HI\UUo{3jh;oA-"R_GNNk̫xՌ[Q㐁P6 z);܊'-6 WTLfxb#6L9LBHXZC(@S/qmAҞ8]8L(&^@뗆JBNS&q_.23'd_'K>~)Ek5z=[+wBd9Ki5gEč}C抡ngYq- K`gOǬJ EMc4Q omeՒ1geHN}ۋ=K=ϏUÂ3߫" 01L2K4.[PWl.Ss}t;,3&,S4ai&aӠ+0ˆx&{vpp cBd޿ J%.A)4yoph6s4H U<"jS۩65`t̕46jCߞ {U3ۨ % U&PV:#:Oywu:lAF4S[D԰|,j#㿦AȆ Ϭ5hm_:ᤩ 2ZKD,l$쬬Z0әQ>׺쌺ʖG]ݙ3V5Aڵ}֡}cEt%:<}6Yj<(&2.0k#A %+XqzzmNy7vJ\3I`,X]y[X)^}ǹ`S3>.3-z`aTuE[{Ep&"gU4Xyx\ۯxI<=}hK>k\`R7Ӎȉ))v!QٳÚi1c hc}5wgYZ7zXZִF! ^*]ŗXi%VhuK4R@7pB<uaubӖIDG\oEOI̊C>Lxn5KY0V ]uN+h!>$3 ȭ7!E{ig):#AI!fK1,!c֑T0`:CHE.Q:q("4~}1!8}hf[mj$?. RE>2e׃Wi+s@+X:{-ӀOEЧ~TgXlO4e׍[~NLA½AQ:zxnwr7æFfW |D@}4TDg*]w-HbLN<"٠ƮĄ+3D-]5,Ŵvto}v i NgBA_,51^\w.M58[: oUI|d#pS."& .1G]sMtԬ5㎷I˦zŐ$ADƽhmӰtO{aAs~ rK'~lryaV iQl H.'3xh7UG`ʨ+[Z1z2vkfQz'(;R +]Cam`j" &?giBVlD{>*F>:5 S|Rb\Ql0tR&qRt 6/1Z+uFC :-w 3Zxް{gq'$KcT#]1l7x2dHxfi'{8|h.8Y|Ak lH ZT5Y ? fXe&ܺJd1:ӛyyԋD&1ZJWEG>S°PhNcKxdWAE@LNaY mPG