SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ~1 T ]S]HOL-SPARK-Examples:threads=2elapsed=18.210cpu=31.228gc=0.848factor=1.717zXZִF! ]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)4 ޘ^(sy{NT>Ak0[+N(Xcgxˠ- ](d“vz,SN/(z{'ʌy<9Ҕ,!29I׼bK?HC;S\K_ UBTy\~WIKlHԎ ߼ WJ[w `|½|5rQaE}9?+YE:!U}knwT4cCCdABA92c>| o B_]|KVBrI PmFlp&(p\U!vsiT P.2UUktj6yR&%׈ys-ΡPh]%Gg/84"jQ("N1r<\W9b;mk84Pc\{wў*<Gc'Es =^%t|Nچ?lQG f:137—6 Q3:BgYZ7zXZִF! E]ŗXiɟ1'HGu C),_=g~ {^}挕q\w۱c],|l99L|a,;n&ZT@rUY;H 1RYM_r^Tdm@ċ 8):,1OD!95KF*CĬ[g w}\T[ǬGӵZش'Hn1X| )S- #ƱgYZ7zXZִF! V]ŗXi%Wm1Z')G( 0vMN#Θ2 ֮99c*t[ۛʐo:R:cN>=TgԾ)7zq>isSfbU-ߟ[O4n_'Z{ȠhJ:8hg`Sه{C~NӐݜW'98<җyZ1!ӗ8@t rH%O3nME<hThz3JhgRv1Vq#A"cbM_n^편@0wr $i"'h/jl(`?NX"Dw&L _+4 U XymRSUGxzb<АT&l.Ȇ(( BO!V}K! edԉ9n~2]vRIfg׽b,Rn *=$0r[Ր{2oe/84ǘꇣ袯駒hmsȦp@Ad$\y20*0YDUzGFcJ`?0yMZKp%yf|&- Dcsz0px#dL{Ǧ ޭgYZa021167d641468800cb0a3478ac1dde2c1aa927cd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 83fb94112cc92a6a351db59fef5899effbae587f 16e4dac77762260277366897006d1838d403a36810e0eafff5a0259058c867650f013a514df27606 1 HOL-SPARK-Examples