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  K K*= Tl ] Polynomial_Factorization:threads=2elapsed=54.799cpu=86.992gc=2.756factor=1.597zXZִF! -ea]ŗXf1-/6vR[2ө=%Bl=E^X:ݯ.xmM1ftTd^&T6?pCo^K6pBoDګ)޾q(2'bpEgkȁ3<( =H(k!ΒEp!VW<1N4mJȹ)">U)絳áZA3YU>]eDaD;x} >R$ FkB-/%Ԁ 2--;?s =)R#EFx}#L|n 1%CYtA&n7oVIs5qS]lVTNJac >5ȘO58soXM <Ha,Zk޶1 'n ;KK"27™{X+f(\`cB!HxB@t40-EB5!'VAm9YCܸ?,!N&WQtK֞į"Iȳ X(!;Cpq = Polynomial_FactorizationȣóDsdFqy2tUlFo^)f y,SeP=%L ds=7|wi/z$Ncv%pgaUx5 .2e@8|Vtfۅ4r n`ܣMe3K|< _EYSe3{tlb72Iԫ\  TZy^*JYp{hРݲD$V4?q[ƫSjN[$Icw83 ӶԿp`qju>Z zJ ۮ'tڒiG@4c;xLMx`ZTFi"S٤U`-)3de&P#p30.`lBo7K=UI)U1"uMlX ?X+('݌&)'XwYo{؁4 *[5ӎ5Ǔ5nE`m&ȕFl fmLZ]kUȫhږ !<*5D76:_lfH_jfIK|O]UV̜=f;@&ɖ^*`_ELqe5R4:pb&S :L2&^PM)]:<*">-]Hb3Y {'"KGw(_TTD\60W_E(= BVW3w- ?5Xt_!]40X]*׌wnÉ$jFΘ|3SP B0cY zv9%4vGAO Սa3xemL"6 hmoU}p1g7KdDB"bw,w[B}K+"pa67#=WuiD(%ZS.Gu8r}w*zy~[=+?z@3Νd8&\ؘr:.L)-݆<єKפ7!6}}[BY#Iӳw nNוM2wkzdT J#$œ ̕ ̙!\잝Hd`R&P%Yo#Mb9aӯC~*8Tucp~7 śE%M Aw^J&&Xe@!~1pgxGX,&Go46}@Nq8{>%t: Y:F[) 7ҋN4ɬ@ʵ< yq+$S<6aB ^NK%PiLe~LC@<om8Bi߃TF3 %nP 1u۩6ס8%^){jH$׏tD+2@V31*Qg3PD]fq73i|7{1Ǫ`Ua$Ď;$\hk s#xLSEte1nަ3}CI}nDn(!MN}|K<ˉ8p z&r9G/j$ @vIH,p 䈼8g 0v1u!'r,n ՑQKVqQ & DjyW8xT"J׈,;!=noӷʴZgK#Lj 6AudHЩ)`,HydĐ=6nP\(X^>Z13 &~5}==2 (4jz(޳a? b2Z>UHfԂSX ؞\gYZ411e0f5754d443a00614f5f1d8cfbec726558b7f1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f8 c8d68aa4c900a2002b0247eed5bfbe292ac887fc e1f6df314b7334782f467ea5c8be9602e0d3e104 0217df40cd92826d2ea9e35b299980c511f44e0a 5eafdd0b2f1c28b67ab523a0412efe5b6e3c5ec1 b05c0924a97f4d7a211d3832370958563ab78222