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 + \ ]/ Strong_Security:threads=2elapsed=22.040cpu=39.572gc=1.264factor=1.807zXZִF! ]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[ ,FV VY؁53߸M >3YY6y;'n~d{Kg7ٍ.7kh CyL];هV> !4՗dG\MOsCo}z_%/l)f8UDO0]eCX3NB/IEoL+Z(vfZ=nj["ysCʁ1$9Eg3ӓ@ʁ~~:k3{ R`fN*Aw]v{1YEPc>Ыh-fg\ՍQl5'!^O:#q4T[fdikcyY"Ff#K\?!%̇>Oga{plLlS}V6MӦ_r/< D~9KH!o`c=,լr,+.`zo]Dʳz;}﨑Kz{&^(?N" l.e=IW֥?Tg Pc.bDgC0'Ǩ0gYZ7zXZִF! q%]ŗXi%6qбlt~ ߇كHE x=evM]hb$Ͻ33q񴝶+xz5U"&9ou ݹkq _VBg; :}A)3l^06U&8u!8ymx=~}~mO#I{guGq}k4$XNY=Ax`;N[URZO rQ4|_D;THe!,6`45En7 D;¢c 1^ t$,g6=qUt*\ِd㚟wt5U&L+:WpːYs'usd<<]|@̸wϛkS}\6LDC]'@ TIv&TTB>x+({6V3Sס5kd|i3 E`JFWO:T]%6X_x{I)mGZ g2QIuP9}OGi 7܀"#no3f m)~T8.qItvYL;$G%</#،w1Wsa~Fo>Į:^n,7}p+dෝ;D bl"K,ot^p?=L$ y0ݕPE0K1A̺&4vonFljEh`g};  iv-MQA9=N{ G&#bq?gp!*x= m%xgYZc2e496a698e64d38a4f559532093573ef9f6c3f61e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 + Strong_Security